Definition: Bedeckungs-Relation

Sei eine Partialordnung.
Seien .

Wir sagen bedeckt , wenn

Das bedeutet: bedeckt , wenn zwischen und kein anderes Element passt.