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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formuliere die Injektivität für eine Abbildung

prädikatenlogisch mit Hilfe der Verwendung von Sorten.
Zur Lösung, Alternative Lösung erstellen