Topologische Filter/Irreduzibler Filter/Definition

Irreduzibler Filter

Ein topologischer Filter $F$ heißt irreduzibel, wenn  $\mathrm{\varnothing }\notin F$  und folgendes gilt: Sind $U,V$ zwei offene Mengen mit  $U\cup V\in F$,  so ist $U\in F$ oder $V\in F$.