eindeutig

in der Mathematik die Eigenschaft einer Zuordnung, nach der jedem Element einer Menge M 1 höchstens ein Element (Bild) einer anderen Menge M 2 zugeordnet wird; dabei kann aber ein Element aus M 2 das Bild von zwei oder mehreren Elementen aus M 1 sein. Eine eindeutige Zuordnung, bei der zusätzlich jedes Element aus M 2 das Bild von höchstens einem Element aus M 1 ist, heißt eineindeutig .