Sei Ω eine nichtleere Menge. Für Teilmengen A der Potenzmenge von Ω soll folgende Eigenschaft betrachtet werden:
Für A∈A gilt Ω\A∈A und für {Aj∣j∈J}⊆A gilt ⋃j∈JAj∈A.
Seien nun A1,A2,…,An Teilmengen der Potenzmenge von Ω mit dieser Eigenschaft. Zeigen Sie, dass ⋂i=1nAi dann auch die Eigenschaft besitzt.