>>5
ん、これで言ってる可換って要素のモノイドと作要素のモノイドの二項演算が可換って話か
addとminだったら可換的な