Topologische Filter/Ultrafilter/Definition

Ultrafilter

Ein topologischer Filter $F$ heißt Ultrafilter, wenn  $\mathrm{\varnothing }\notin F$  und wenn $F$ maximal mit dieser Eigenschaft ist.