para todo "x" en el dominio de "f".