>>148
例えば
XをA,Bって直和分割に分けたとき
aがAの元で
a〜bって同値関係がなりたってるとしたら
bもAの元のはずで
b〜cって同値関係がなりたってるとしたら
bとcは両方AとBのどちから一方の同じやつにいっしょにはいってるはず
ここでbがAの元だからcもAの元ってことになって
aとcは同じ分割に入ってるから
a〜c

まあ証明ってわけじゃないけど(分割の仕方がこうだった場合に限ってるから