Tahap 1. Kedua topologi memuat \(\emptyset\) dan \(X\text{.}\)

Tahap 2. Jika setiap \(U_i\) berada dalam kedua topologi, maka gabungannya berada di mana?

Tahap 3. Terapkan argumen yang sama pada irisan berhingga.