Rauten-Eigenschaft

Eine Relation R besitzt die Rauteneigenschaft, wenn

für alle x gilt: aus x R* y und x R* z folgt,
es existiert w mit: y R* w und z R* w.

Die Rauten-Eigenschaft (diamond property) lässt sich mit dem folgenden Diagramm verdeutlichen.


Anlage

Abbildung: Rauten-Eigenschaft.