>>371
いいえ、私は
モノイドが可換→持つ
∧
モノイドが非可換→持つ
だと思ったので
モノイド→持つ
であって、その順序の定義に可換性は必要ないと思いました。

それでも、可換モノイドの欄に書かれているので
可換→持つ
↔
非可換→持たない
であって、自分がどこか間違っているのかと思いました。