jan/uni_notes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2026-03-07 10:36:30

Browse Source
This commit is contained in:
Jan Meyer
2026-03-07 10:36:30 +01:00
parent 1564569264
commit 78a308e794
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
DAS/Relations.md
View File

@@ -47,4 +47,4 @@ An **Order** is a mathematical way to sort, rank or compare elements within a se
A _binary relation_ is called an order if it is...
- [x] a *reflexive relation*
- [x] a *antisymmetric relation*
- [x] a *transitive relation*
- [ ] a *transitive relation*