offene Menge (Mathematik)

Grundbegriff der Topologie. Anschaulich jede Menge des euklidischen Raumes, die zu jedem ihrer Punkte P noch eine ganze (kleine) Umgebung von P umfasst; abstrakt ein Systemτ von Teilmengen einer Menge T mit folgender Eigenschaft: 1) Die leere Menge (∅) und die ganze Menge T gehören zu τ. 2) Der Durchschnitt