diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index 65535c8c..ac61ac54 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -651,7 +651,7 @@ "alias": false }, "lock_view": false, - "lock_path": "fonction d'ackermann de cori et lascar.md" + "lock_path": "relation d'ordre.md" } }, "codeblocks": { diff --git a/relation d'ordre.md b/relation d'ordre.md index da9915c4..f4cd7d00 100644 --- a/relation d'ordre.md +++ b/relation d'ordre.md @@ -1,7 +1,6 @@ +--- up:: [[relation]] -title:: "[[relation réflexive|réflexive]] : $x \mathcal{R} x$", "[[relation antisymétrique|antisymétrie]] : $x\mathcal{R}y \wedge y\mathcal{R}x \implies x=y$", "[[relation transitive|transitive]] : $x\mathcal{R}y \wedge y\mathcal{R}z \implies x\mathcal{R}z$" #s/maths/algèbre - --- > [!definition] Relation d'ordre