Änderungen

12 Bytes hinzugefügt ,  06:08, 16. Aug. 2013
K
keine Bearbeitungszusammenfassung
Zeile 85: Zeile 85:  
::: 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.