1.053
Bearbeitungen
Änderungen
Baustelle:Funktion (Quelltext anzeigen)
Version vom 16. August 2013, 07:34 Uhr
, 07:34, 16. Aug. 2013keine Bearbeitungszusammenfassung
! 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: