言い方のバラエティ

• 可換モノイドは、モノイドの☓☓☓に加えて、◯◯◯の☓☓☓を付け加えて定義される代数系である。

☓☓☓

1. 公理
2. 等式
3. 法則
4. 条件
5. 性質

〇〇◯

1. 交換法則
2. 可換律
3. 可換性
4. 演算の交換可能性