diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 21d1e83..8c116c8 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -78,7 +78,7 @@ } ], "direction": "horizontal", - "width": 300 + "width": 200 }, "right": { "id": "8a65bc0c1d4d98f2", diff --git a/DAS/Set Theory.md b/DAS/Set Theory.md index 55094e6..c9cf994 100644 --- a/DAS/Set Theory.md +++ b/DAS/Set Theory.md @@ -89,4 +89,5 @@ $$ | Relation | Explanation | Example | | ---------------- | --------------------------------------------------------------------------------------------------------------------- | ----------------------- | | *transitive*
| "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$ |