>>198
詳しそうだから聞いておく。

数学的な流れとして、集合定義→二項演算定義→特徴/性質確認、だろ?
順序対(a,b)と(b,a)は違うものだよな?
数学的にどのタイミング、どういう流れで(a,b)と(b,a)が同じとなるんだ?