From bf3c6db767c7a624023fc8be935ab3c5ceea1640 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Wed, 24 Sep 2025 14:32:01 +0200
Subject: [PATCH] eduroam-prg-sg-1-45-0.net.univ-paris-diderot.fr
 2025-9-24:14:32:1

---
 filtre.md       |  9 +++++++++
 ultraproduit.md | 13 +++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 ultraproduit.md

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