>>8
こんな感じじゃん
(A×B)⊆(C×D) ⇔ (A⊆C)∧(B⊆D)
<a,b>∈(A×B) ⇒ <a,b>∈(C×D)
a∈A ∈ a∈C