oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

MacBookPro.lan 2026-6-6:20:23:47

Browse Source
This commit is contained in:
oskar
2026-06-06 20:23:47 +02:00
parent 3f088fc13d
commit 15f4b20152
3 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.obsidian/plugins/breadcrumbs/data.json
Vendored
+2 -2
View File
@@ -245,7 +245,7 @@
"prevs" "prevs"
], ],
"lock_view": false, "lock_view": false,
"lock_path": "formule conséquence d'un ensemble de formules.md", "lock_path": "théorie des ensemble NBC.md",
"custom_sort_fields": false, "custom_sort_fields": false,
"custom_sort_field_labels": [] "custom_sort_field_labels": []
}, },
@@ -254,7 +254,7 @@
"show_attributes": [], "show_attributes": [],
"merge_fields": false, "merge_fields": false,
"lock_view": false, "lock_view": false,
"lock_path": "formule conséquence d'un ensemble de formules.md", "lock_path": "théorie des ensemble NBC.md",
"field_group_labels": [ "field_group_labels": [
"downs" "downs"
], ],
.obsidian/plugins/obsidian-day-planner/data.json
Vendored
+2 -2
View File
File diff suppressed because one or more lines are too long
théorie des ensemble NBC.md
+4
View File
@@ -23,3 +23,7 @@ Les classes sont caractérisées par $\in$, autrement dit une classe est défini
> $C_1 \subseteq C_2 \iff \text{pour toute classe } X \text{ avec } X \in C_1 \text{ on a } X\in C_2$ > $C_1 \subseteq C_2 \iff \text{pour toute classe } X \text{ avec } X \in C_1 \text{ on a } X\in C_2$
^def-inclusion ^def-inclusion
> [!definition] Ensemble
> Une classe $A$ est un **ensemble** s'il existe une classe $C$ telle que $A \in C$.
> - i
^def-ensemble