eduroam-prg-sg-1-45-0.net.univ-paris-diderot.fr 2025-9-24:14:32:1

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

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