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

eduroam-prg-gm-1-0-147.net.univ-paris-diderot.fr 2026-3-23:15:33:14

Browse Source
This commit is contained in:
oskar
2026-03-23 15:33:14 +01:00
parent 8f5e36ee66
commit 7b2b1109ae
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.obsidian/plugins/breadcrumbs/data.json vendored
View File

@@ -651,7 +651,7 @@
"alias": false "alias": false
}, },
"lock_view": false, "lock_view": false,
"lock_path": "fonction d'ackermann de cori et lascar.md" "lock_path": "relation d'ordre.md"
} }
}, },
"codeblocks": { "codeblocks": {

3
relation d'ordre.md
View File

@@ -1,7 +1,6 @@
---
up:: [[relation]] 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 #s/maths/algèbre
--- ---
> [!definition] Relation d'ordre > [!definition] Relation d'ordre