Topologischer Raum/Filter/Ultrafilter/Existenz/Fakt

Es sei $X$ ein topologischer Raum und $F$ ein topologischer Filter auf $X$ mit  $\mathrm{\varnothing }\notin F$. 

Dann gibt es einen Ultrafilter  $G\supseteq F$. 

Einen Beweis erstellen