Tahap 1. Cocokkan ketiga fakta yang diberikan dengan definisi sebuah topologi.

Tahap 2. Perhatikan bahwa semua anggota \(\tau_Y\) memang subhimpunan dari \(Y\text{.}\)

Tahap 3. Nyatakan pula nama topologi yang dibentuk melalui suatu surjeksi dengan aturan prapeta ini.