Surjektiv/Hintereinanderschaltung/Mengen/Formalisiere/Aufgabe

Formalisiere in der prädikatenlogischen Sprache, dass die Hintereinanderschaltung von surjektiven Abbildungen

zwischen Mengen wieder surjektiv ist.