Reflexiv-transitive Hüllen

Sei <math>R</math> eine zweistellige homogene Relation auf einer Menge <math>A</math>.
Dann ist die transitive Hülle <math>R^{+}</math> von <math>R</math> eine homogene Relation auf der Menge <math>A</math> die für x y\in A</math> wie folgt definiert wird:

<math>

 x R^{+} y \leftrightarrow \exists n\geq \exists x_1 ... x_n\in A  

<math>

 x_1Rx_2R...Rx_n  

<math>

 x_1=x x_n=y.  

Sei <math>R</math> eine zweistellige homogene Relation auf einer Menge <math>A</math>.
Dann ist die Reflexiv-transitive Hülle <math>R^{*}</math> von <math>R</math> eine homogene Relation auf der Menge <math>A</math> die für y\in A</math> wie folgt definiert wird:

<math>

 xR^{*}y \leftrightarrow x=y \or xR^{+}y.  

Bücher zum Thema Reflexiv-transitive Hüllen

Dieser Artikel von Wikipedia unterliegt der GNU FDL.