Es sei X {\displaystyle {}X} ein topologischer Raum und F {\displaystyle {}F} ein topologischer Filter auf X {\displaystyle {}X} mit ∅ ∉ F {\displaystyle {}\emptyset \notin F} .
Dann gibt es einen Ultrafilter G ⊇ F {\displaystyle {}G\supseteq F} .
