في الرياضيات، يكون للعنصر a في الماغما (M,*) خاصية إلغاء يسرى left cancellation property ( أو نقول أنه قابل للإلغاء يساري left-cancellative) إذا تحقق الشرط:
أيا كانت قيم b و c من M : فإن تحقق :
a * b = a * c تعني دوما أن : b = c .
أما اذا تحقق الشرط :
b * a = c * a تعني دوما أن :b = c من اجل جميع قيم b و c فنقول أن قابل للإلغاء من اليمين.
إذا كان العنصر a قابلا للإلغاء من الجهتين ضمن الماغما (M,*) فنقول عن أنه عنصر قابل للإلغاء .