cours/base de filtre.md

up, tags, aliases

up	tags	aliases
filtre engendré	s/maths/logique

[!definition] base de filtre Soit X un ensemble infini. Soit \mathcal{B}\subseteq \mathcal{P}(X) une partie de \mathcal{P}(X) \mathcal{B} est une base de filtre sur X si :

• \emptyset \notin \mathcal{B}
• \mathcal{B} est stable par intersection : \forall A, B \in \mathcal{B},\quad A \cap B \in \mathcal{B} ^definition

Propriétés

Exemples