oskar
21 lines
461 B
Markdown
21 lines
461 B
Markdown
---
|
|
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
|
|
|