Topologische Filter/Irreduzibler Filter/Definition

Irreduzibler Filter

Ein topologischer Filter ${}F$ heißt irreduzibel, wenn ${}\emptyset \not \in 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$.