Considere M, N e P conjuntos de números reais. Sejam f : M → N e g: N → P funções definidas, respectivamente, por Imagem associada para resolução da questão, x ∈ M e Imagem associada para resolução da questão. Existe uma função h: M → P, definida por Imagem associada para resolução da questão imagem, tal que: