Andaikan \((x,a)\in\emptyset\times A\text{.}\) Definisi hasil kali Kartesius mengharuskan \(x\in\emptyset\text{,}\) yang mustahil. Jadi hasil kali Kartesius itu tidak mempunyai anggota.