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

vault backup: 2026-03-07 13:52:35

Browse Source
This commit is contained in:
Jan Meyer
2026-03-07 13:52:35 +01:00
parent 4d4329d58c
commit cc30cad919
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
DAS/Relations.md
View File

@@ -45,6 +45,6 @@ A binary relation is a relation $R$ between _exactly two_ elements $a in R$ and
An **Order** is a mathematical way to sort, rank or compare elements within a set, where some elements come "before" and "after" others. An **Order** is a mathematical way to sort, rank or compare elements within a set, where some elements come "before" and "after" others.
A _binary relation_ is called an order if it is... A _binary relation_ is called an order if it is...
- [!] a *reflexive relation* - [?] a *reflexive relation*
- [!] a *antisymmetric relation* - [?] a *antisymmetric relation*
- [!] a *transitive relation* - [?] a *transitive relation*