Compositio duarum functionum f : X → Y , x ↦ f ( x ) = y {\displaystyle f:X\rightarrow Y,x\mapsto f(x)=y} et g : Y → Z , y ↦ g ( y ) {\displaystyle g:Y\rightarrow Z,y\mapsto g(y)} est functio h : X → Z , {\displaystyle h:X\rightarrow Z,}
g ∘ f {\displaystyle g\circ f} pro h scribi solet.