Untuk \((x,c)\in X\times Y\text{,}\) pilih interval \((a,b)\ni x\text{;}\) maka \((a,b)\times\{c\}\) memuat titik tersebut. Jika titik berada dalam dua interval horizontal, kedua koordinat keduanya harus sama dengan \(c\text{,}\) dan irisan interval real memuat interval terbuka lebih kecil di sekitar \(x\text{.}\) Kriteria basis terpenuhi. Rubrik: jawaban harus menggunakan sifat diskret dan memeriksa kedua aksioma basis.