¿Qué es contradominio?
El **contradominio** de una función, también conocido como **codominio** o **conjunto de llegada**, es el conjunto que contiene todos los posibles valores que la función podría retornar. Es importante distinguirlo del **rango** (o imagen), que es el subconjunto del contradominio que realmente contiene los valores que la función *sí* retorna para todos los elementos de su dominio. En otras palabras, el rango es el conjunto de todos los *outputs* reales de la función, mientras que el contradominio es el conjunto donde estos *outputs* potencialmente residen. Si bien el rango siempre está contenido en el contradominio, no necesariamente son iguales. El contradominio se especifica al definir la función y juega un papel importante en la definición de propiedades como la sobreyectividad.
Ejemplo Resuelto
Considera la función f(x) = x² definida para números reales. Podemos definir el contradominio como el conjunto de todos los números reales (ℝ). Sin embargo, el rango de la función es el conjunto de todos los números reales no negativos (ℝ⁺ ∪ {0}), ya que el cuadrado de un número real nunca es negativo.