Definition.
(
offene Menge
) Es sei
M
⊆
I
M
.
M
heißt
offen
(in
I
M
) =
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.)