Topologie générale/Filtres

Ultrafiltres

L'ensemble des filtres sur un ensemble $E$ est ordonné par la relation d'inclusion (« est moins fin que »). Pour cette relation, toute famille non vide $({ℱ}_i{)}_{i\in I}$ admet une borne inférieure : le filtre intersection $\bigcap _{i\in I}{ℱ}_i$.

Modèle:Définition Autrement dit : c'est un filtre sur $E$ tel qu’il n'existe aucun filtre sur $E$ strictement plus fin que lui.