Topologi

Secara formal, misalkan "X" sebuah himpunan dan "τ" adalah keluarga subhimpunan dari "X". Maka "τ" disebut topologi terhadap "X" jika:
Jika "τ" adalah topologi terhadap "X" maka pasangan ("X", "τ") disebut ruang topologi.