Seja A o maior subconjunto de no qual está definida a função real Considere, ainda, B o conjunto das imagens de f. Nessas condições,