Surjektiv/Hintereinanderschaltung/Mengen/Formalisiere/Aufgabe

Formalisiere in der prädikatenlogischen Sprache, dass die Hintereinanderschaltung von surjektiven Abbildungen zwischen Mengen wieder surjektiv ist.