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

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

surjektiven Abbildungen auf einer Menge wieder surjektiv ist.

Eine Lösung erstellen