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} \)