>>631
(A×B) ⊆(C×D)
とする。
任意の(a,b) ∈ (A×B)に対して
(a,b) ∈ (C×D) より、 a∈C ∧b∈D

(A⊆C)∧(B⊆D)
とする。
任意の a ∈ A, b∈Bに対して
a∈C∧ b ∈D
よって、
(a,b) ∈ (A×B) ⊆(C×D)