diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 0fc475e..2c6629a 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -10,20 +10,6 @@
           {
             "id": "e815710c82d8b872",
             "type": "leaf",
-            "state": {
-              "type": "markdown",
-              "state": {
-                "file": "DAS/Functions.md",
-                "mode": "source",
-                "source": false
-              },
-              "icon": "lucide-file",
-              "title": "Functions"
-            }
-          },
-          {
-            "id": "9bb2d002d5fe1179",
-            "type": "leaf",
             "state": {
               "type": "markdown",
               "state": {
@@ -35,8 +21,7 @@
               "title": "Logic"
             }
           }
-        ],
-        "currentTab": 1
+        ]
       }
     ],
     "direction": "vertical"
@@ -68,7 +53,7 @@
             "state": {
               "type": "search",
               "state": {
-                "query": "",
+                "query": "Logic",
                 "matchingCase": false,
                 "explainSearch": false,
                 "collapseAll": false,
@@ -89,7 +74,8 @@
               "title": "Bookmarks"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "horizontal",
@@ -183,10 +169,10 @@
       "obsidian-git:Open Git source control": false
     }
   },
-  "active": "9bb2d002d5fe1179",
+  "active": "e815710c82d8b872",
   "lastOpenFiles": [
-    "DAS/Set Theory.md",
     "DAS/Functions.md",
+    "DAS/Set Theory.md",
     "DAS/Logic.md",
     "mathe/notation.md",
     "Studium.md",
diff --git a/DAS/Functions.md b/DAS/Functions.md
index 62c676e..e8bdce0 100644
--- a/DAS/Functions.md
+++ b/DAS/Functions.md
@@ -25,4 +25,4 @@ A function is _surjective_ if every element $y in Y$ has _at minimum_ one matchi
 
 ### Bijectivity
 A function is _bijective_ if every element $y in Y$ has _exactly_ one matching $x in X$ (it is _injective_ and _surjective_)
-- $forall y in Y, exists excl x in X : f(x) = y$
\ No newline at end of file
+- $forall y in Y, exists excl x in X : f(x) = ySymbol$
\ No newline at end of file