Sejam e as funções, de em , definidas por e , onde e . Pode-se afirmar que a função , de em , definida por