Ruang topologi

Dengan struktur demikian, sebuah subhimpunan "U" dari "X" disebut subhimpunan terbuka jika "U" merupakan ketetanggaan bagi seluruh anggotanya.