Für M = {B ⊂ A | B offen} gilt A◦=∪ B∈M (B∈M)
Zu: A◦ ⊂ ∪ B∈M (B∈M)
Sei x∈A°. ==> x ist innerer Punkt von A
==> Es gibt eine Umgebung U(x), die ganz in A enthalten
ist. Diese Umgebung ist also eine offene Menge B,
die ganz in A enthalten ist, somit B∈M, B nimmt also an
der Vereinigung teil , also ist x Element der Vereinigung.
Andere Richtung : A◦ ⊃ ∪ B∈M (B∈M)
Sei x∈ ∪ B∈M (B∈M).
==> Es gibt ein B∈M mit x∈B
und B ist eine in A enthaltene offene Menge,
also ist B eine Umgebung von x.
==> x ∈ A° .