Filter (Mathematik)

nicht leeres System F von Teilmengen einer Menge M mit folgenden Eigenschaften: 1) Die leere Menge gehört nicht zu F. 2) Jede Teilmenge von M, die eine Menge aus F umfasst, gehört zu F. 3) Die Schnittmenge zweier Mengen aus F gehört wieder zu F. So bilden z. B. die