Änderungen

(Man kann ggf. auch „leere Relationen“ und damit auch „leere Funktionen“ betrachten.)

(Man kann ggf. auch „leere Relationen“ und damit auch „leere Funktionen“ betrachten.)

|-

|-

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

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

::: 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 />