From 2bde570dafc971487de753e76d89642ab5f2e91f Mon Sep 17 00:00:00 2001
From: Jan Meyer <git@lolmerkat.cc>
Date: Fri, 27 Feb 2026 11:29:12 +0100
Subject: [PATCH] vault backup: 2026-02-27 11:29:12

---
 DAS/Functions.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/DAS/Functions.md b/DAS/Functions.md
index f2dfae2..62c676e 100644
--- a/DAS/Functions.md
+++ b/DAS/Functions.md
@@ -16,8 +16,8 @@ For any $x in X$ the output $f(x)$ is an element of $Y$.
 
 ## Mapping Properties
 ### Injectivity
-A function is _injective_ if every element in $Y$ has _at most_ one matching $x in X$.
-- $forall y in Y,exists^(<=1) x in X : f(x) = y$
+A function is _injective_ if every element in $y in f(x)$ has _at most_ one matching $x in X$.
+- $forall y in Y,exists excl x in X : f(x) = y$
 
 ### Surjectivity
 A function is _surjective_ if every element $y in Y$ has _at minimum_ one matching $x in X$