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*
| "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*
| "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$ |