Sejam o conjunto dos números reais e uma função de em . Se e o conjunto , então: