>>729
標準的な定義でrank((a,b))=max(rank(a),rank(b))+2だから
rank(A×B)=max(rank(A),rank(B))+3かな？

下げることできるかもだけど、いい定義パッとは思いつかないな
一応、順番っていう情報が増えちゃっているから順序対のほうが複雑かも