Analysis of information sources in references of the Wikipedia article "Identitate (matematică)" in Romanian language version.
...then the diagonal set determined by M is the identity relation...
The element 0 is usually referred to as the identity element and if it exists, it is unique
we see that an identity element of a semigroup is idempotent.