Rauten-Eigenschaft
Die Rauten-Eigenschaft (diamond property) lässt sich mit dem folgenden Diagramm verdeutlichen:
Abb. 1: Rauteneigenschaft
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.