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

vault backup: 2026-02-27 12:42:31

Browse Source
This commit is contained in:
Jan Meyer
2026-02-27 12:42:31 +01:00
parent 169ad4631c
commit 6b75052bf2
2 changed files with 7 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
DAS/Functions.md
View File

@@ -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$
- $forall y in Y, exists excl x in X : f(x) = ySymbol$