Considere conjuntos e . Se , e são os domínios das funções reais definidas por , e , respectivamente, pode-se afirmar que