1.053
Bearbeitungen
Baustelle:Funktion: Unterschied zwischen den Versionen
keine Bearbeitungszusammenfassung
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 83: | Zeile 83: | ||
! vorausgehende Definitionen !! ''Erläuterungen'' | ! vorausgehende Definitionen !! ''Erläuterungen'' | ||
|- | |- | ||
| Es sei <math>R</math> eine (binäre) Relation, <math>R\ne \varnothing</math>. Dann gilt: || <math>R</math> ist also eine Menge von geordneten Paaren, z. B. <math>R\subseteq A\times B</math><br />mit der nicht leeren ''Ausgangsmenge'' <math>A</math> und der nicht leeren ''Zielmenge'' <math>B</math>. | | Es sei <math>R</math> eine (binäre) Relation, <math>R\ne \varnothing</math>. Dann gilt: || <math>R</math> ist also eine Menge von geordneten Paaren, z. B. <math>R\subseteq A\times B</math><br />mit der nicht leeren ''Ausgangsmenge'' <math>A</math> und der nicht leeren ''Zielmenge'' <math>B</math>.<br /> | ||
(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: | | (1) <math>R</math> ist genau dann '''rechtseindeutig''', wenn für alle <math>x,{{y}_{1}},{{y}_{2}}</math> gilt: | ||