Ein Ultrafilter F {\displaystyle {}F} auf einem topologischen Raum X {\displaystyle {}X}
ist irreduzibel.