ただ
f:A→Bをf⊂A×B
A×B={(a,b):;a∈A,b∈B}
のrank(A×B)=max(rank(A),rank(B))+2
なのは
(a,b)={{a},{a,b}}
とするのが普通だからだが
(a,b)をこのように定義せず
(a,b)に当たるものを公理で定義することで
rank((a,b))=max(rank(a),rank(b))+1
ぐらいで押さえることができるんじゃないかな
感覚的には順序対も非順序対もレベル的には同等でしょ？