1.053
Bearbeitungen
Funktion: mengentheoretische Auffassung: Unterschied zwischen den Versionen
Funktion: mengentheoretische Auffassung (Quelltext anzeigen)
Version vom 21. August 2013, 20:05 Uhr
, 21. August 2013→Grundlegende Definitionen
| [gesichtete Version] | [gesichtete Version] |
| Zeile 25: | Zeile 25: | ||
(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 /> | ||