Tahap 1. Jika \(O=\Z\setminus F\) dengan \(F\) berhingga, tulis \(A\cap O\) sebagai komplemen relatif di dalam \(A\text{.}\)

Tahap 2. Periksa bahwa komplemen relatif yang diperoleh selalu berhingga.

Tahap 3. Untuk arah sebaliknya, mulai dengan \(U\subseteq A\) yang mempunyai komplemen berhingga dalam \(A\text{.}\)