单式半群

[dān shì bàn qún]

• unitary semigroup
• monoid