Pilih \(b\in B\text{.}\) Untuk setiap \(a\in A\text{,}\) pasangan \((a,b)\) berada di \(C\times D\text{,}\) sehingga \(a\in C\text{.}\) Jadi \(A\subseteq C\text{;}\) simetri memberi \(C\subseteq A\text{.}\) Argumen yang sama pada koordinat kedua memberi \(B=D\text{.}\) Ketakosongan perlu karena \(\emptyset\times B=\emptyset\times D\) untuk sembarang \(B,D\text{.}\)