diff --git a/filtre.md b/filtre.md index 28bee6c9..82975f08 100644 --- a/filtre.md +++ b/filtre.md @@ -16,6 +16,15 @@ aliases: > - $\emptyset \notin \mathscr{F}$ (le filtre est non trivial) ^definition +```breadcrumbs +title: "Sous-notes" +type: tree +collapse: false +show-attributes: [field] +field-groups: [downs] +depth: [0, 0] +``` + # Propriétés > [!proposition]+ Filtre trivial diff --git a/ultraproduit.md b/ultraproduit.md new file mode 100644 index 00000000..78928205 --- /dev/null +++ b/ultraproduit.md @@ -0,0 +1,13 @@ +--- +up: + - "[[ultrafiltre]]" +tags: + - s/maths/logique +aliases: +--- + +> [!definition] Définition +> Soit $(M_{x})_{x \in X}$ une famille d'ensembles non vides +> Soit $\mathcal{U}$ un [[ultrafiltre]] sur $X$ +> $$ +^definition \ No newline at end of file