diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index 3a698073..289f421f 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -245,7 +245,7 @@ "prevs" ], "lock_view": false, - "lock_path": "identités.md", + "lock_path": "théorie des ensemble NBC.md", "custom_sort_fields": false, "custom_sort_field_labels": [] }, @@ -254,7 +254,7 @@ "show_attributes": [], "merge_fields": false, "lock_view": false, - "lock_path": "identités.md", + "lock_path": "théorie des ensemble NBC.md", "field_group_labels": [ "downs" ], diff --git a/théorie des ensemble NBC.md b/théorie des ensemble NBC.md index 398793bd..96d31424 100644 --- a/théorie des ensemble NBC.md +++ b/théorie des ensemble NBC.md @@ -183,3 +183,5 @@ Les classes sont caractérisées par $\in$, autrement dit une classe est défini > [!definition] Classe fonctionnelle > Une classe $F$ est dite **fonctionnelle** si pour tous ensembles $x, y, z$ tels que $(x, y) \in F$ et $(x, z) \in F$ on a $y = z$ + +