CONDICIÓN DE EXISTENCIA
- Cada elemento del conjunto de partida esta relacionado al menos una vez con uno con varios elementos del conjunto de llegada.
- El dominio de la relación es igual al conjunto de partida.
- Todos los elementos del conjunto de partida forman parte de la relación.
Vemos que la función de la izquierda si cumple con la condición de existen, porque cumple con los tres puntos que vimos anteriormente.
Vemos que la función del centro no cumple con la condición de existencia, porque el numero 1 del conjunto no esta relacionado con un elemento del conjunto B.
Vemos que la función derecha si cumple con la condición de unicidad, porque todos elementos del conjunto A esta relacionado con uno o varios elementos del conjunto B. Al igual que los otros dos puntos que vimos antes.
CONDICIÓN DE UNICIDAD
- Cada elemento del conjunto de partida puede estar relacionado a lo mucho una vez con cualquier elemento del conjunto de llegada.
- Ningún elemento del conjunto de partida puede estar relacionado dos o mas veces.
- Puede que algunos elementos del conjunto de partida no estén relacionados con ningún elemento del conjunto de llegada, pero los que si estén relacionados lo estarán una sola vez y no mas.
Vemos que la función de la izquierda cumple con unicidad ya que cada elemento del conjunto A esta relacionado solo una vez con un elemento del Conjunto B.
Vemos que la función del centro cumple con la condición de unicidad, gracias al punto #3 que dice que algunos elementos del conjunto de partida no estén relacionados con ningún elemento del conjunto de llegada, que en este ejemplo vemos que es el numero 1 que no esta relacionado con ningún elemento del conjunto B.
Vemos que la función de la derecha no cumple con la condición de unicidad porque, el elemento 1 del conjunto A esta relacionado con dos elementos del conjunto B que en este caso es la letra "a" y la letra "b".
