On appelle espace topologique un couple (X,T ) où X est un ensemble et T une famille de parties de X vérifiant : (T1) ∅∈T , X ∈ T , (T.
2) Une intersection finie d'éléments de T appartient à T , (T.
3) Une reunion quelconque d'éléments de T appartient à T .