diff --git a/.obsidian/plugins/obsidian-git/data.json b/.obsidian/plugins/obsidian-git/data.json
index 300b09c..6b513ee 100644
--- a/.obsidian/plugins/obsidian-git/data.json
+++ b/.obsidian/plugins/obsidian-git/data.json
@@ -3,8 +3,8 @@
   "autoCommitMessage": "vault backup: {{date}}",
   "commitMessageScript": "",
   "commitDateFormat": "YYYY-MM-DD HH:mm:ss",
-  "autoSaveInterval": 0,
-  "autoPushInterval": 0,
+  "autoSaveInterval": 2,
+  "autoPushInterval": 30,
   "autoPullInterval": 0,
   "autoPullOnBoot": false,
   "autoCommitOnlyStaged": false,
@@ -19,11 +19,11 @@
   "syncMethod": "merge",
   "mergeStrategy": "none",
   "customMessageOnAutoBackup": false,
-  "autoBackupAfterFileChange": false,
+  "autoBackupAfterFileChange": true,
   "treeStructure": false,
   "refreshSourceControl": true,
   "basePath": "",
-  "differentIntervalCommitAndPush": false,
+  "differentIntervalCommitAndPush": true,
   "changedFilesInStatusBar": false,
   "showedMobileNotice": true,
   "refreshSourceControlTimer": 7000,
diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 8640e81..fdcbb38 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -183,7 +183,7 @@
       "obsidian-git:Open Git source control": false
     }
   },
-  "active": "7a0e7b37bd89861d",
+  "active": "197c8e18c8d8ef8c",
   "lastOpenFiles": [
     "DAS/Set Theory.md",
     "DAS/Functions.md",
diff --git a/DAS/Functions.md b/DAS/Functions.md
index 992768d..f2dfae2 100644
--- a/DAS/Functions.md
+++ b/DAS/Functions.md
@@ -24,4 +24,5 @@ A function is _surjective_ if every element $y in Y$ has _at minimum_ one matchi
 - $forall y in Y, exists x in X : f(x) = y$
 
 ### Bijectivity
-A function is _bijective_ if every element $y in Y$ has _exactly_ one matching $x in X$ (it is _injective_ and _surjective_)
\ No newline at end of file
+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