Definition. (offene Menge) Es sei M IM. M heißt offen (in IM) =Df

Für jedes a M gibt es ein ε > 0, so daß Uε(a) M. (Mit jedem a M gehört noch eine ganze ε-Umgebung zu M, vgl. auch Abb. 6.2.)