monoid

• 独异点，带有中性元的半群;