Setiap titik berada dalam \(X\times Y\text{,}\) dan irisan dua anggota basis sendiri merupakan anggota basis yang memuat setiap titik irisannya.