Si representamos con un rectángulo todas las posibles correspondencias entre los conjuntos X e Y, si el conjunto B es el de las correspondencias unívocas, y al A el de las biunívocas, en un Diagrama de Venn, se ve claramente que el conjunto de las correspondencias biunívocas es un subconjunto de las correspondencias unívocas.