DOMINIO DE IMAGEN DE UNA RELACION

Definición:

La imagen de una relacion es el subconjunto del dominio que efectivamente tienen contraparte en el dominio. Por ejemplo suponte que decides que el dominio de la relacion son los numeros {1,2,3} y que el codominio de la relacion son los numeros del 1 al 10: {1,2,3,4,5,6,7,8,9,10}. Ahora, si tu relacion es "el cuadrado" la imagen del dominio es {1,4,9}, mientras que si la relacion es "el doble" la imagen es {2,4,6}. Cual es la imagen si la relacion es "mas uno"?