Introducción

PAR ORDENADO

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro. El par ordenado cuyo primer elemento es A y cuyo segundo elemento es B se denota como (ab).
Un par ordenado (ab) no es el conjunto que contiene a a y b, denotado por {ab}. Un conjunto está definido únicamente por sus elementos, mientras que en un par ordenado el orden de estos es también parte de su definición. Por ejemplo, los conjuntos {0, 1} y {1, 0} son idénticos, pero los pares ordenados (0, 1) y (1, 0) son distintos.
PRODUCTO CARTESIANO
El producto cartesiano de dos conjuntos es una operación, que resulta en otro conjunto, cuyos elementos son todos los pares ordenados que pueden formarse de forma que el primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento pertenezca al segundo conjunto.

su producto cartesiano es:

GRAFICA
Resultado de imagen para grafica de producto cartesiano

Relación


Una relación es un vínculo o una correspondencia. En el caso de la relación matemática, se trata de la correspondencia que existe entre dos conjuntos: a cada elemento del primer conjunto le corresponde al menos un elemento del segundo conjunto.

Cuando a cada elemento de un conjunto le corresponde solo uno del otro, se habla de función. Esto quiere decir que las funciones matemáticas siempre son, a su vez, relaciones matemáticas, pero que las relaciones no siempre son funciones.

En una relación matemática, al primer conjunto se lo conoce como dominio, mientras que el segundo conjunto recibe el nombre de rango o recorrido. Las relaciones matemáticas existentes entre ellos se pueden graficar en el esquema llamado plano cartesiano.


Representaciones gráficas de la relación


Resultado de imagen para relacion algebraica

Resultado de imagen para relacion algebraica

Dominio e imagen de una relacion

El conjunto de partida o el  conjunto de los valores que puede tomar la variable 
independiente (la llamamos x), es el dominio de la función.
El conjunto de valores que puede tomar la variable dependiente (y o f(x)) se 
llama a imagen, rango o recorrido de la función, está incluido en el conjunto de llegada.
 Resultado de imagen para dominio e imagen de una relacion
Donde el dominio sería: {1, 2, 3, 4}
y la imagen sería : {0, 1, 2, 5}