Base de filtre

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant la topologie.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Une base de filtre B sur un ensemble X est un sous-ensemble de l'ensemble des parties de X, P(X), satisfaisant aux axiomes suivants :

  1. \textbf{B}\neq \varnothing et tout élément de la base est non vide ;
  2. A,B \in \textbf{B} \Rightarrow \exists C\in \textbf{B} \qquad \text{tel que } \quad C \subset A \cap B