順序対と非順序対を区別してないの？
まあ、今の場合は区別しなくてもいいんだけど、それは（交換法則の）結果でしょ