Ein topologischer Filter F {\displaystyle {}F} heißt Ultrafilter, wenn ∅ ∉ F {\displaystyle {}\emptyset \notin F} und wenn F {\displaystyle {}F} maximal mit dieser Eigenschaft ist.
