Relaciones y Funciones

Una Relación: Una relación entre elementos de dos conjuntos A y B, es otro conjunto formado por pares (x,y) en que x pertecene al conjunto A e y pertenece al conjunto B.


Una relación es un SUBCONJUNTO del producto Cruz entre los conjuntos A y B.
====================================
Para definir una Función, vamos a tener en cuenta el siguiente diagrama:



Una Función:

1) (Siempre) Es relación. (No al revés: No siempre una relación es Función).

2) Todas las Pre-imágenes poseen Imagen vía la definición de la relación.

3) Ninguna Pre-Imagen posee dos Imágenes.

4) Es posible que alguna Imagen se vincule con dos Pre-Imágenes.