Es sei X {\displaystyle {}X} ein topologischer Raum und F {\displaystyle {}F} ein topologischer Filter auf X {\displaystyle {}X} mit ∅ ∉ F {\displaystyle {}\emptyset \not \in F} . Zeige, dass es einen Ultrafilter G ⊇ F {\displaystyle {}G\supseteq F} gibt.
