¿Qué son las relaciones ?

 Introducción .- Una relación finita R de n conjuntos (también denominada relación n-aria) es una generalización de la noción de relación matemática binaria para más de dos elementos. Se define como un subconjunto del producto cartesiano​ de los conjuntos , llamados el esquema de la relación:

¿Qué es un subconjunto?

A es subconjunto de otro conjunto B si todos los elementos de A pertenecen también a B. Decimos entonces que A «está contenido» dentro de B.

Concepto de par ordenado .-  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  y cuyo segundo elemento es  se denota como .

Concepto de productor 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.

Grafica de productos cartesianos .- Existen cuatro tipos de diagramas los cuales son de forma cartesiana , matricial y de flechas 

Diagrama de coordenadas .- es un sistema para graficar y describir puntos y rectas. El plano de coordenadas consiste en un eje-x horizontal y un eje-y vertical. La intersección de estas dos rectas crea el origen, que es el punto (0, 0). El plano coordenado se divide en cuatro cuadrantes.

Diagrama de flechas.- Una función es un tipo especial de relación en la que cada elemento del dominio está asociado con exactamente un elemento en el rango . Un mapa nos muestra como los elementos se asocian. Es como un diagrama de flujo para una función, mostrando los valores de entrada y salida.

Diagrama de matriz .- Un diagrama de matriz es una herramienta gráfica que muestra la conexión o relación entre ideas, problemas, causas y procesos, métodos y objetivos y, en general, entre conjuntos de datos, en la forma de una tabla (matriz). La relación se indica en cada intersección de filas y columnas.

Relación .-  una relación en un conjunto es alguna clase de vínculo que puede darse o puede no darse (sin posibilidad de estados intermedios) entre dos miembros de un conjunto determinado.

Dominio de una relación y Dominio de imagen (imagen, rango) de una relación .- El dominio de una función o relación es el conjunto de todos los valores independientes posibles que una relación puede tener. Es la colección de todas las entradas posibles.

El rango de una función o relación es el conjunto de todos los valores dependientes posibles que la relación puede producir