Jangkar sumber: prompt 33 dalam latihan ex_Metric_space_regular. Untuk ruang metrik \((X,d)\text{,}\) buktikan bahwa ruang tersebut reguler. Anda boleh menggunakan fakta bahwa untuk himpunan tertutup tak kosong \(C\) dan \(x\notin C\text{,}\) berlaku \(d(x,C)\gt0\text{.}\) Rubrik: pisahkan titik dari himpunan tertutup dengan dua himpunan terbuka saling lepas; sertakan sifat \(T_1\) jika definisi reguler yang digunakan mensyaratkannya.