From 3750d6fd5547f2d63a55145207b506152fbbbbd2 Mon Sep 17 00:00:00 2001
From: Jan Meyer <git@lolmerkat.cc>
Date: Sat, 7 Mar 2026 09:46:32 +0100
Subject: [PATCH] vault backup: 2026-03-07 09:46:32

---
 .obsidian/graph.json     |  2 +-
 .obsidian/workspace.json | 23 +++++++++++++++++++----
 DAS/Relations.md         | 40 ++++++++++++++++++++++++++++++++++++++++
 DAS/Set Theory.md        |  9 ---------
 4 files changed, 60 insertions(+), 14 deletions(-)
 create mode 100644 DAS/Relations.md

diff --git a/.obsidian/graph.json b/.obsidian/graph.json
index 0df2344..b0036eb 100644
--- a/.obsidian/graph.json
+++ b/.obsidian/graph.json
@@ -18,5 +18,5 @@
   "linkStrength": 0.500822368421053,
   "linkDistance": 30,
   "scale": 1,
-  "close": false
+  "close": true
 }
\ No newline at end of file
diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 8c116c8..60c9f71 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -20,8 +20,23 @@
               "icon": "lucide-file",
               "title": "Set Theory"
             }
+          },
+          {
+            "id": "16b88a8bc6c6b6e0",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "DAS/Relations.md",
+                "mode": "source",
+                "source": false
+              },
+              "icon": "lucide-file",
+              "title": "Relations"
+            }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -168,12 +183,12 @@
       "obsidian-git:Open Git source control": false
     }
   },
-  "active": "e815710c82d8b872",
+  "active": "16b88a8bc6c6b6e0",
   "lastOpenFiles": [
-    "Untitled.md",
+    "DAS/Relations.md",
+    "DAS/Set Theory.md",
     "DAS/Logic.md",
     "DAS/Functions.md",
-    "DAS/Set Theory.md",
     "mathe/notation.md",
     "Studium.md",
     "ET/Netzwerke.md",
diff --git a/DAS/Relations.md b/DAS/Relations.md
new file mode 100644
index 0000000..57dc1cd
--- /dev/null
+++ b/DAS/Relations.md
@@ -0,0 +1,40 @@
+## Types of 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$   |
+| *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$                   |
+| *symmetric*      | the given relation work both ways                                                                                     | $a = b => b = a$          |
+| *antisymmetric*  | the given relation only works both ways if $a$ and $b$ are the same                                                   | $a <= b, b <= a => a = b$ |
+
+## Equivalence Relations
+A relation $R$ is called _equivalence relation_ when it is _transitive, reflexive and symmetric_.
+
+### Example: 
+**Question:** How many equivalence classes are there for the given equivalence relation?
+$$
+& ~ "on" {0, 1, 2, 3}^(2) \
+& "defined by" (x_1, y_1) ~ (x_2, y_2) <==> x_1 + y_1 = x_2 + y_2
+$$
+> [!INFO]
+> Meaning: 
+> The pairs $(x_1, y_1)$ and $(x_2, y_2)$ are equivalent to each other when the components of the pair added up have the same result.
+
+Solving: 
+- Smallest possible sum: $(0 + 0) = 0$
+- Biggest possible sum: $(3 + 3) = 6$
+- All possible sums: $0, 1, 2, 3, 4, 5, 6$
+
+Each possible sum creates it's own equivalence class. So there are $7$ equivalence classes.
+
+> [!NOTE]
+> All equivalence classes:
+> $[0]_(~) = {(0, 0)}$
+> $[1]_(~) = {(0, 1), (1, 0)}$
+> $[2]_(~) = {(0, 2), (1, 1), (2, 0)}$
+>$[3]_(~) = {(0, 3), (1, 2), (2, 1), (3, 0)}$ 
+>$[4]_(~) = {(1, 3), (2, 2), (3, 1)}$
+> $[5]_(~) = {(2, 3), (3, 2)}$
+> $[6]_(~) = {(3, 3)}$
+
diff --git a/DAS/Set Theory.md b/DAS/Set Theory.md
index 23c6025..a91505b 100644
--- a/DAS/Set Theory.md	
+++ b/DAS/Set Theory.md	
@@ -84,12 +84,3 @@ A := {1, 2, 3} \
 cal(P)(A) = {emptyset, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
 $$
 
-## 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$   |
-| *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$                   |
-| *symmetric*      | the given relation work both ways                                                                                     | $a = b => b = a$          |
-| *antisymmetric*  | the given relation only works both ways if $a$ and $b$ are the same                                                   | $a <= b, b <= a => a = b$ |