Let be a unital magma with identity element . Show that is unique.
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Suppose that is another identity element. In particular, this means that, for :
But since is an identity element, by definition, for :
So we can conclude that .
