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

vault backup: 2026-03-06 21:26:26

Browse Source
This commit is contained in:
Jan Meyer
2026-03-06 21:26:26 +01:00
parent e9b412adac
commit eb108cfcc4
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.obsidian/workspace.json vendored
View File

@@ -78,7 +78,7 @@
} }
], ],
"direction": "horizontal", "direction": "horizontal",
"width": 300 "width": 200
}, },
"right": { "right": {
"id": "8a65bc0c1d4d98f2", "id": "8a65bc0c1d4d98f2",

3
DAS/Set Theory.md
View File

@@ -89,4 +89,5 @@ $$
| Relation | Explanation | Example | | Relation | Explanation | Example |
| ---------------- | --------------------------------------------------------------------------------------------------------------------- | ----------------------- | | ---------------- | --------------------------------------------------------------------------------------------------------------------- | ----------------------- |
| *transitive*<br> | "chain reaction", a information about $a$ in relation to $c$ can be inferred from the relations $a -> b$ and $b -> c$ | $a < b, b < c => a < c$ | | *transitive*<br> | "chain reaction", a information about $a$ in relation to $c$ can be inferred from the relations $a -> b$ and $b -> c$ | $a < b, b < c => a < c$ |
| | | | | *reflexive* | every element is related to itself with the given relation | $a <= a, 5 = 5$ |
| *anti-reflexive* | every element is *NOT* related to itself in the given relation | $a < a$ |