Tahap 1: tuliskan \(O=\bigcup_{\alpha\in I}B_\alpha\text{.}\) Tahap 2: terjemahkan \(x\in\bigcup_{\alpha\in I}B_\alpha\) menjadi pernyataan keberadaan sebuah indeks.