Es una relación donde para cada elemento en el dominio existe solo un único y exclusivo elemento en el alcance.