Definition
Unitality
A relation
over a set is called unital if there exists an element such that: Such an element
is called a neutral element or identity element.
Relation to Monoids
A monoid is precisely a semigroup (an associative relation) that is also unital.