Ein
Verband
ist eine
geordnete Menge mit der Eigenschaft, dass für je zwei Elemente
ein
Infimum und ein
Supremum existiert.
Der
Kantengraph
ist derjenige Graph, dessen Knotenmenge die Kantenmenge von ist und bei dem zwei Knoten
und
(also Kanten aus )
genau dann durch eine Kante verbunden werden, wenn
und
einen gemeinsamen Punkt in besitzen.
Ein
Weg
ist eine Folge von Knoten derart, dass für alle eine Kante ist.