Untuk \((x,y)\in O_X\times O_Y\text{,}\) pilih \(U\in\mathcal B_X\) dan \(V\in\mathcal B_Y\) dengan \(x\in U\subseteq O_X\) dan \(y\in V\subseteq O_Y\text{.}\)