Tahap 1. Setiap homeomorfisme merupakan bijeksi.

Tahap 2. Bijeksi mempertahankan kardinalitas.

Tahap 3. Topologi khusus pada kedua ruang tidak diperlukan.