Ein topologischer Raum ist ein geordnetes Paar [latex](X, \tau)[/latex], wobei [latex]X[/latex] eine Menge und [latex]\tau[/latex] eine Sammlung von Teilmengen von [latex]X[/latex], so genannte offene Mengen, ist, die drei Axiome erfüllen: 1) Die leere Menge [latex]\emptyset[/latex] und [latex]X[/latex] selbst sind in [latex]\tau[/latex]. 2) Die Vereinigung einer beliebigen Anzahl von Mengen in [latex]\tau[/latex] ist auch in [latex]\tau[/latex]. 3) Die Schnittmenge einer beliebigen endlichen Anzahl von Mengen in [latex]\tau[/latex] ist auch in [latex]\tau[/latex].
