Änderungen

::: aus <math>xR{{y}_{1}}\wedge xR{{y}_{2}}</math> folgt stets  <math>{{y}_{1}}={{y}_{2}}</math>.

::: aus <math>xR{{y}_{1}}\wedge xR{{y}_{2}}</math> folgt stets  <math>{{y}_{1}}={{y}_{2}}</math>.

|| '''Jedem''' Element aus der Ausgangsmenge <math>A</math> '''wird höchstens ein''' Element aus der Zielmenge <math>B</math> [[Zuordnung|zugeordnet]].<br />

|| '''Jedem''' Element aus der Ausgangsmenge <math>A</math> '''wird höchstens ein''' Element aus der Zielmenge <math>B</math> [[Zuordnung|zugeordnet]].<br />

Oder: Die [[Zuordnung]] verläuft von links nach rechts eindeutig.

Oder: Die [[Zuordnung]] verläuft von links nach '''rechts''' eindeutig.

|-

|-

| (2) <math>R</math> ist genau dann '''linkseindeutig''', wenn für alle <math>{{x}_{1}},{{x}_{2}},y</math> gilt:  

| (2) <math>R</math> ist genau dann '''linkseindeutig''', wenn für alle <math>{{x}_{1}},{{x}_{2}},y</math> gilt:  

::: aus <math>{{x}_{1}}Ry\wedge {{x}_{2}}Ry</math> folgt stets  <math>{{x}_{1}}={{x}_{2}}</math>.

::: aus <math>{{x}_{1}}Ry\wedge {{x}_{2}}Ry</math> folgt stets  <math>{{x}_{1}}={{x}_{2}}</math>.

|| '''Jedes''' Element aus der Zielmenge <math>A</math> '''ist höchstens einem''' Element aus der Ausgangsmenge <math>B</math> [[Zuordnung|zugeordnet]].<br />

|| '''Jedes''' Element aus der Zielmenge <math>A</math> '''ist höchstens einem''' Element aus der Ausgangsmenge <math>B</math> [[Zuordnung|zugeordnet]].<br />

Oder: Die ''inverse'' [[Zuordnung]] verläuft von rechts nach links eindeutig.

Oder: Die ''inverse'' [[Zuordnung]] verläuft von rechts nach '''links''' eindeutig.

|-

|-

| (3) <math>R</math> ist genau dann '''injektiv''', wenn <math>R</math> sowohl rechtseindeutig als auch linkseindeutig ist.

| (3) <math>R</math> ist genau dann '''injektiv''', wenn <math>R</math> sowohl rechtseindeutig als auch linkseindeutig ist.