monoid,
n.
1.
a
semi-group
with an
identity
.
2.
a
groupoid
, usually commutative.
