wip
Zu jedem y höchstens (evtl. gar kein) x
[..] das darauf zielt, wenn also nie zwei oder mehr verschiedene Elemente der Definitionsmenge auf dasselbe Element der Zielmenge abgebildet werden.
D.h.:
Injektive Funktion