Änderungen

| Es sei <math>R</math> eine (binäre) Relation. Dann gilt:

| Es sei <math>R</math> eine (binäre) Relation. Dann gilt:

|-

|-

| (1) <math>R</math> ist genau dann '''linkseindeutig''', wenn für alle <math>{{x}_{1}},{{x}_{2}},y</math> aus <math>{{x}_{1}}Ry\wedge {{x}_{2}}Ry</math> stets  <math>{{x}_{1}}={{x}_{2}}</math> folgt.

| (1) <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>.

|-

|-

| (2) <math>R</math> ist genau dann '''rechtseindeutig''', wenn für alle <math>x,{{y}_{1}},{{y}_{2}}</math> aus <math>xR{{y}_{1}}\wedge xR{{y}_{2}}</math> stets  <math>{{y}_{1}}={{y}_{2}}</math> folgt.

| (2) <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>.

|-

|-

| (3) <math>R</math> ist genau dann '''injektiv''', wenn <math>R</math> sowohl linkseindeutig als auch rechtseindeutig ist.

| (3) <math>R</math> ist genau dann '''injektiv''', wenn <math>R</math> sowohl linkseindeutig als auch rechtseindeutig ist.

|}

|}

== Literatur ==

== Literatur ==