Prädikatenlogik/Transitivität der Injektivität/Ableitung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Man gebe einen formalen Beweis für die Aussage, dass die Hintereinanderschaltung von zwei

injektiven Abbildungen auf einer Menge wieder injektiv ist.
Eine Lösung erstellen