Eine Funktion ist eine EINDEUTIGE Zuordnung.
Jedem Ausgangswert x kann genau ein Funktionswert y zugeordnet werden.
Natürlich können mehrere Ausgangswerte zum selben Funktionswert führen, aber nicht umgekehrt!
Um zu zeigen, dass eine Zuordnung KEINE Funktion ist, reicht es, einen einzigen Ausgangswert zu finden, dem mehrere Funktionswerte zugeordnet sind.