تکوار

monoid, unitary semigroup