La correspondencia representada en este diagrama es unívoca, pero no es biunívoca porque el elemento d, tiene dos orígenes: 1 y 2.