Himpunan \(O\) adalah salah satu himpunan buka yang diiris untuk membentuk \(U_x\text{,}\) jadi \(U_x\subseteq O\text{.}\) Karena \(y\in U_x\text{,}\) kedua nilai fungsi, \(x\) dan \(y\text{,}\) berada dalam \(O\text{.}\) Dengan demikian setiap parameter dipetakan ke \(O\text{,}\) sehingga prapetanya seluruh domain.