ach ja, richtig. Ich habe eigentlich noch eine Schwierigkeit bei dieser Aufgabe und ich hatte eigentlich vom Anfang zusammen mit der Aufgabe die Frage stellen sollen.
also mit $$g : \mathbb{N_0} → \mathbb{N_0}, g(x) := max {(0, x - 5)}$$ und definiert durch $$max{(m, n)} := (m, falls ( m ≥ n ) und n, sonst)$$
ist g o f =f o g?