前から考えてるんだけど
順序対(a,b)の方を根源的なものにして
(a,b)〜(b,a)の同値類として{a,b}を定義するように出来ないものかなと
なぜそう期待するかと言えば
現在の
(a,b)={{a},{a,b}}
という定義はaとbの役割が対称的でないし
rankが2つ上がるのが過剰な気がするし