N={B⊃A I B abgeschl.} ⇒ \( \bar{A} \) = \( \bigcap\limits_{B \in N} B \)
heißt:
Satz: Sei N={\( \bar{B} \) I A ⊂ \( \bar{B} \)} , dann gilt: \( \bar{A} \) = \( \bigcap\limits_{ \bar{B} \in N} \bar{B} \)
zunächst gilt (1): \( \bar{A} \) ∈ N, da A ⊂ \( \bar{A} \)
außerdem gilt (2): A ⊂ \( \bar{B} \) ⇒ \( \bar{A} \) ⊂ \( \bar{B} \) ,
denn wenn \( \bar{A} \) ⊄ \( \bar{B} \) ⇒ \( \exists \) x∈ \( \bar{A} \): x ∉ \( \bar{B} \)
⇒ \( \exists \) x∈ \( \bar{A} \): x ∈ \( \bar{B} \) c (Komplement) Widerspruch!
Bew. des Satzes:
"⊂": Sei x∈ \( \bar{A} \) ⇒(2) x ∈ \( \bar{B} \) \( \forall\) \( \bar{B} \)∈N ⇒ x ∈\( \bigcap\limits_{ \bar{B} \in N} \bar{B} \)
"⊃": Sei x ∈\( \bigcap\limits_{ \bar{B} \in N} \bar{B} \) ⇒ x ∈ \( \bar{B} \) \( \forall\) \( \bar{B} \) ∈N ⇒(1) x∈\( \bar{A} \)