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$