---
up:
  - "[[filtre engendré]]"
tags:
  - s/maths/logique
aliases:
---

> [!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