MathGloss
A
monoid
is a
semigroup
$(X,
)$ that has an
identity element
under $
$.
Wikidata ID:
Q208237