Algebra 6 | Cancellation Property [dark version]

[@Sciophile]

Here’s a similar result to the lemma: S is a group iff for all x there is a unique y such that xyx=x