El siguiente diagrama de grafos bipartitos se puede ver cuando la función es biyectiva: