Surjektiv/Hintereinanderschaltung/Formalisiere/Aufgabe

Formalisiere mit dem Symbolalphabet ${}S=\{f,g\}$, wobei ${}f,g$ einstellige Funktionssymbole seien, die Aussage, dass die Hintereinanderschaltung von surjektiven Abbildungen

wieder surjektiv ist.

Eine Lösung erstellen