Correspondencia unívoca

Una correspondencia unívoca es una correspondencia matemática donde cada elemento del conjunto origen se corresponde con un solo elemento del conjunto imagen.

Galería de correspondencias unívoca

Con los siguientes diagramas de correspondencias unívocas se muestran sus propiedades de conjunto y sus condiciones de subtipo:

Existencia imagen: no Unicidad imagen: si Existencia origen: no Unicidad origen: no	Existencia imagen: no Unicidad imagen: si Existencia origen: no Unicidad origen: si	Existencia imagen: no Unicidad imagen: si Existencia origen: si Unicidad origen: no	Existencia imagen: no Unicidad imagen: si Existencia origen: si Unicidad origen: si
Existencia imagen: si Unicidad imagen: si Existencia origen: no Unicidad origen: no	Existencia imagen: si Unicidad imagen: si Existencia origen: no Unicidad origen: si	Existencia imagen: si Unicidad imagen: si Existencia origen: si Unicidad origen: no	Existencia imagen: si Unicidad imagen: si Existencia origen: si Unicidad origen: si

Galería de correspondencias NO unívoca

Los siguientes diagramas NO son correspondencias unívoca:

Existencia imagen: no Unicidad imagen: no Existencia origen: no Unicidad origen: no	Existencia imagen: no Unicidad imagen: no Existencia origen: no Unicidad origen: si	Existencia imagen: no Unicidad imagen: no Existencia origen: si Unicidad origen: no	Existencia imagen: no Unicidad imagen: no Existencia origen: si Unicidad origen: si
Existencia imagen: si Unicidad imagen: no Existencia origen: no Unicidad origen: no	Existencia imagen: si Unicidad imagen: no Existencia origen: no Unicidad origen: si	Existencia imagen: si Unicidad imagen: no Existencia origen: si Unicidad origen: no	Existencia imagen: si Unicidad imagen: no Existencia origen: si Unicidad origen: si