La condición de unicidad de imagen garantiza que los elementos a de A que están relacionados con algún b de B está relacionado con un único elemento b de B, es decir: