Eindeutigkeitsbedingung