relaciones y funciones

Relación es la correspondencia de un primer conjunto, llamado Dominio , con un segundo conjunto, llamado Recorrido o Rango , de manera que a cada elemento del Dominio le corresponde uno o más elementos del Recorrido o Rango.
Por su parte, una funcion es una relación a la cual se añade la condición de que a cada valor del Dominio le corresponde uno y sólo un valor del Recorrido.

De las definiciones anteriores podemos deducir que todas las funciones son relaciones , pero no todas las relaciones son funciones.

También debemos agregar que toda ecuación es una Relación , pero no toda ecuación es una Función.

Dados dos conjuntos A y B una relación definida de A en B es un conjunto de parejas ordenadas ( par ordenado ) que hacen verdadera una proposición; dicho de otro modo, una relación es cualquier subconjunto del producto cartesiano A x B

Ejemplo 1.

Si A = {2, 3}  y B = {1, 4, 5}, encontrar tres relaciones definidas de A en B.

Solución

El producto cartesiano de A x B está conformado por las siguientes parejas o pares ordenados:

A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}