Setiap topologi wajib memuat \(\emptyset\) dan \(X\text{.}\) Satu-satunya himpunan bagian lain adalah \(\{a\}\) dan \(\{b\}\text{;}\) pertimbangkan apakah tidak satu pun, tepat satu, atau keduanya dimasukkan.