jan/uni_notes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2026-02-27 11:29:12

Browse Source
This commit is contained in:
Jan Meyer
2026-02-27 11:29:12 +01:00
parent 9d27b267ec
commit 2bde570daf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
DAS/Functions.md
View File

@@ -16,8 +16,8 @@ For any $x in X$ the output $f(x)$ is an element of $Y$.
## Mapping Properties ## Mapping Properties
### Injectivity ### Injectivity
A function is _injective_ if every element in $Y$ has _at most_ one matching $x in X$. 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^(<=1) x in X : f(x) = y$ - $forall y in Y,exists excl x in X : f(x) = y$
### Surjectivity ### Surjectivity
A function is _surjective_ if every element $y in Y$ has _at minimum_ one matching $x in X$ A function is _surjective_ if every element $y in Y$ has _at minimum_ one matching $x in X$