Definisi mensyaratkan bahwa setiap anggota \(\tau\) adalah subhimpunan dari \(X\text{.}\) Pada tulisan literal, \(a\) dan \(b\) adalah titik, sehingga ada ambiguitas tipe sebelum aksioma topologi diperiksa. Untuk pembacaan yang lazim dimaksudkan dalam kegiatan ini, ambil \(\tau_0=\{\{a,b\}\}\text{.}\) Aksioma pertama lalu gagal karena \(\emptyset\notin\tau_0\) dan \(X=\{a,b,c\}\notin\tau_0\text{.}\) Penutupan paling kecil yang memuat \(\{a,b\}\) adalah \(\{\emptyset,\{a,b\},X\}\text{.}\)