cada elemento del conjunto origen se corresponde con solo un elemento del conjunto imagen, y