Composition

Etant donnés $f : A \longrightarrow B$ et $g : B \longrightarrow C$, on définit l'application composée de $g$ et $f$, notée $g \circ f$, dite ''$g$ rond $f$'', et définie par $g \circ f : A \longrightarrow C, x \mapsto g(f(x))$. Autrement dit, $g \circ f$ est une application de $A$ dans $C$, qui à tout élément $x$ de $A$, associe l'élément $g(f(x))$ de $C$.