Властивість скорочення

Властивість скорочення (закон скорочення) — в математиці, є узагальненням поняття обернений елемент.

Означення

Елемент $a$ в магми $(M,*)$

• має властивість скорочення зліва (або є скорочуваним зліва), якщо $\mathrm{\forall }b,c\in M:a*b=a*c\Rightarrow b=c$;
• має властивість скорочення справа (або є скорочуваним справа), якщо $\mathrm{\forall }b,c\in M:b*a=c*a\Rightarrow b=c$;
• має властивість скорочення (або є скорочуваним), якщо він є скорочуваним і справа і зліва.

Магма $(M,*)$

• має властивість скорочення зліва, якщо всі її елементи мають властивість скорочення зліва.
• має властивість скорочення справа, якщо всі її елементи мають властивість скорочення права.
• має властивість скорочення, якщо всі її елементи мають властивість скорочення.