Library
▹
Algebra
▹
Magmas
Definition 2.3.10.
Let
M
be a
magma
such that ∃
e
∈
M
:
e
is an identity of
M
. For
m
∈
M
, we define:
1
M
=
m
:
⇔
m
is an identity of
M
Well-definedness.
No proof.
References.
https://proofwiki.org/wiki/Identity_is_Unique