Tahap 1. Setiap himpunan \(\tau_1\)-buka juga \(\tau_2\)-buka.

Tahap 2. Mulailah dari selimut yang memiliki lebih sedikit kemungkinan anggota buka.

Tahap 3. Untuk menyangkal arah sebaliknya, bandingkan topologi indiskret dan diskret pada himpunan tak berhingga.