Identity of Monoid is Cancellable
Jump to navigation Jump to search
Let $x, y \in S$ such that $x \circ e = y \circ e$
Then, by the definition of the identity:
- $x = x \circ e = y \circ e = y$
... thus $x = y$ and the result is proved.