Petunjuk R.121.1.

Tahap 1: pemisahan memerlukan dua himpunan buka tak kosong.
Tahap 2: hitung banyaknya himpunan buka tak kosong dalam topologi indisret.
in-context