From e9b412adaca2d0c4b7bb5baee13706cb5f49cca5 Mon Sep 17 00:00:00 2001
From: Jan Meyer <git@lolmerkat.cc>
Date: Fri, 6 Mar 2026 21:19:59 +0100
Subject: [PATCH] vault backup: 2026-03-06 21:19:59

---
 .obsidian/workspace.json | 7 ++++---
 .trash/Untitled.md       | 0
 DAS/Set Theory.md        | 9 ++++++++-
 3 files changed, 12 insertions(+), 4 deletions(-)
 create mode 100644 .trash/Untitled.md

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index a53e493..21d1e83 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,12 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "DAS/Logic.md",
+                "file": "DAS/Set Theory.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "Logic"
+              "title": "Set Theory"
             }
           }
         ]
@@ -170,9 +170,10 @@
   },
   "active": "e815710c82d8b872",
   "lastOpenFiles": [
+    "Untitled.md",
+    "DAS/Logic.md",
     "DAS/Functions.md",
     "DAS/Set Theory.md",
-    "DAS/Logic.md",
     "mathe/notation.md",
     "Studium.md",
     "ET/Netzwerke.md",
diff --git a/.trash/Untitled.md b/.trash/Untitled.md
new file mode 100644
index 0000000..e69de29
diff --git a/DAS/Set Theory.md b/DAS/Set Theory.md
index 237fbd1..55094e6 100644
--- a/DAS/Set Theory.md	
+++ b/DAS/Set Theory.md	
@@ -82,4 +82,11 @@ Definition: all possible _Subsets of A_
 $$
 A := {1, 2, 3} \
 cal(P)(A) = {emptyset, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
-$$
\ No newline at end of file
+$$
+
+## Relations
+
+| 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$ |
+|                  |                                                                                                                       |                         |