Untuk \(a_1\neq a_2\) dan \(b_1\neq b_2\text{,}\) ambil \(X=\{a_1\}\times\{b_1,b_2\}\text{.}\) Sebagai contoh negatif, ambil \(W=\{(a_1,b_1),(a_2,b_2)\}\text{.}\)