Grundbegriff der Topologie.

Ist T eine Menge, so kann man auf T eine Topologie \(\tau \subseteq {\mathfrak{P}}(T)\) definieren, wobei man die in τ liegenden Mengen als offene Mengen bezeichnet. Dabei müssen die folgenden Axiome erfüllt sein:

1. Die beliebige Vereinigung und der endliche Durchschnitt offener Mengen sind wieder offen.
2. Sowohl T selbst als auch die leere Menge sind offen.

In diesem Fall spricht man auch von einem topologischen Raum T.

Siehe auch offene Abbildung, offene Menge, offenes Intervall.