Prädikatenlogik/Transitivität der Injektivität/Ableitung/Aufgabe
Man gebe einen formalen Beweis für die Aussage, dass die Hintereinanderschaltung von zwei
injektiven Abbildungen auf einer Menge wieder injektiv ist.Man gebe einen formalen Beweis für die Aussage, dass die Hintereinanderschaltung von zwei
injektiven Abbildungen auf einer Menge wieder injektiv ist.