Ruang topologi

Diberikan himpunan tak-kosong "X", suatu koleksi "formula_1" yang berisikan himpunan-himpunan bagian dari "X" dikatakan topologi pada "X", jika ia memenuhiPasangan "formula_8" dikatakan ruang topologi, dengan koleksi "formula_1" disebut sebagai topologi pada "X", serta anggota "formula_1 "disebut sebagai himpunan terbuka dari "X".