خاصية الإلغاء

في الرياضيات، يكون للعنصر 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,*) فنقول عن أنه عنصر قابل للإلغاء .