Condición de unicidad de imagen garantiza que los elementos que tienen imagen tengan una sola imagen, pero no garantiza que todos los elementos de A tengan imagen, esta diferencia es importante.