Jangkar sumber: latihan ex_excluded_point_topology pada baris sumber 407--419. Misalkan \(X\) tak kosong dan \(p\in X\text{.}\) Koleksi \(\tau_{\overline p}\) terdiri atas \(\emptyset\text{,}\) \(X\text{,}\) dan semua subhimpunan \(X\) yang tidak memuat \(p\text{.}\) Buktikan bahwa \(\tau_{\overline p}\) merupakan topologi pada \(X\text{.}\) Rubrik. Untuk gabungan dan irisan, pisahkan secara eksplisit kasus yang melibatkan \(X\text{;}\) jangan menyamakan argumen ini dengan argumen topologi titik tertentu. Panduan ini adalah karya pendamping asli CC BY 4.0, bukan materi atau solusi resmi GVSU.