Himpunan terbuka

Di dalam topologi himpunan-titik, himpunan terbuka digunakan untuk membedakan titik-titik dan himpunan bagian suatu ruang. Derajat keterpisahan dua titik sembarang diatur oleh aksioma pemisahan. Kumpulan semua himpunan terbuka di suatu ruang mendefinisikan topologi ruang. Fungsi dari satu ruang topologi ke ruang topologi lainnya yang mengawetkan topologi adalah fungsi kontinu. Meskipun himpunan terbuka dan topologi yang mereka cakup adalah yang terpenting di dalam topologi himpunan-titik, mereka juga digunakan sebagai alat pengorganisasian di cabang-cabang penting matematika lainnya. Contoh topologi adalah topologi Zariski di dalam geometri aljabar yang mencerminkan sifat aljabar dari varietas, dan topologi pada suatu lipatan diferensial di dalam topologi diferensial di mana tiap-tiap titik di dalam ruang adalah berada di dalam himpunan terbuka yang bersifat homeomorfik terhadap bola terbuka di dalam ruang euklides berdimensi berhingga.