La composition d'application.
Définition :
Soient \(E,F,G\) des ensembles et deux applications \(f,g\) telles que \(f : E \rightarrow F\), \(g : F \rightarrow G\) \(x \rightarrow f(x) = y\), \(y \rightarrow g(y) = z\). On définit l'application \(g \circ f : E \rightarrow G\) \(x \rightarrow g \circ f(x) = z\).