Abgeschlossenheit:
Seien f und g aus F(A). zu zeigen: f ° g aus F(A).
Bew: Sei a∈A (geht, da A nicht leer.) dann gilt
(f°g)(a) = f( g(a) ) und weil g:A--->A geht, ist g(a) ∈ A
und somit auch f ( g(a) ) ∈ A , weil auch f:A--->A geht .
Also ist f ° g auch eine Abbildung von A nach A, also
f ° g ∈ F(A). q.e.d.
etc.