Abbildung/Zwei Mengen/Sortenprädikate/Injektiv/Aufgabe

Formuliere die Injektivität für eine Abbildung

$f\colon D\longrightarrow Z$

prädikatenlogisch mit Hilfe der Verwendung von Sorten.

Zur Lösung, Alternative Lösung erstellen