>>637
=の話とは別件だけど
{a,b}でなくて順序対(a,b)の方から始めて行けないかなとも思う
こっちを根源的な存在にしてあらためて順序を無視する同値関係で{a,b}にするとかでも良くないかな
面倒くさいのは確かにそうだけど{a,b}から(a,b)を作るのが自然じゃないように感じるけど(a,b)から同値関係で{a,b}にする方が自然な感じもするけど