Jangkar sumber: latihan ex_particular_point_topology pada baris sumber 393--405. Misalkan \(X\) tak kosong dan \(p\in X\text{.}\) Koleksi \(\tau_p\) terdiri atas \(\emptyset\text{,}\) \(X\text{,}\) dan semua subhimpunan \(X\) yang memuat \(p\text{.}\) Buktikan bahwa \(\tau_p\) merupakan topologi pada \(X\text{.}\) Rubrik. Verifikasi kedua himpunan wajib, gabungan sebarang, dan irisan berhingga, termasuk kasus keluarga kosong. Panduan ini adalah materi pendamping asli CC BY 4.0, bukan materi atau solusi resmi GVSU.