マグマの元 "a" が左簡約性質(left cancellation property)をもつ(あるいは左簡約可能(left-cancellative)である)とは、"m" のすべての "b" と "c" に対して、は常にを意味するということである。