Definición de contradominio
La idea de contradominio, también mencionada como conjunto de llegada, conjunto final o codominio, se emplea en el ámbito de las matemáticas. El concepto aparece al aludir a las funciones.
Antes de avanzar, es importante recordar que se denomina función matemática a la relación establecida entre dos conjuntos, mediante la cual a cada elemento que se encuentra en el primer conjunto se le asigna un solo elemento (o ninguno) del segundo conjunto.
El conjunto de partida es el dominio; el conjunto de llegada, el contradominio. Por lo tanto, si consideramos un conjunto A y un conjunto B, una función es el vínculo que se genera cuando a cada elemento de A (el dominio) le es asignado un único elemento del B (el contradominio).
Tomemos el caso de la función f(x) = 3 . x, con un dominio que, en este caso, es el conjunto {2, 4, 8}. Por lo tanto, el contradominio podría ser el conjunto {6, 12, 24}, ya que la función consiste en multiplicar por tres cada elemento del dominio.
Es importante tener en cuenta que la función es una ley que presenta una correspondencia unívoca. Esto quiere decir que a cada elemento del dominio solamente le puede corresponder un elemento del contradominio.
En el lenguaje coloquial, el dominio es el conjunto que indica aquello que puede entrar en la función, mientras que el contradominio se forma con aquello es que posible que salga. Se llama imagen o rango a lo que efectivamente sale de la función. Cabe resaltar que todas las funciones cuentan con su dominio.