Untuk \((x,y)\in X\times Y\text{,}\) persegi panjang \(X\times Y\) berada dalam koleksi. Jika \((x,y)\) berada dalam dua persegi panjang dasar, maka ia berada dalam \((U_1\cap U_2)\times(V_1\cap V_2)\text{,}\) yang buka pada tiap faktor dan termuat dalam irisan semula. Kedua aksioma basis terpenuhi. Rubrik: kedua aksioma basis dan identitas irisan harus dinyatakan eksplisit.