直積クラスな
V×V={(x,y)::x,y∈V}⊂V
一般には
A×B={(a,b)::a∈A,b∈B}
これは>>286
>Ⅴ（直積クラス）
>∀A,∃B,∀x:(x∈B⇔∃y,z:(x=(y,z)∧y∈A))
すなわち
A×V
と
それを2度適用した
B×V×V
から>>286
>Ⅵ（巡回置換クラス）
>∀A.∃B.∀x,y,z:((x,y,z)∈B⇔(y,z,x)∈A)
を2度適用して作った
V×B×V
から
>Ⅳ（ドメインクラス）
>∀A,∃B,∀x:(x∈B⇔∃y:(x,y)∈A)
を適用して
V×B
を作り
A×B=(A×V)∩(V×B)
としたもの
V⊃V×V⊃V×V×V⊃…
となる