Es sei
ein
Graph.
- Zeige, dass für
die folgenden Eigenschaften äquivalent sind.
a) Es ist
.
b) Für alle
folgt aus
auch
.
c) Die Abbildung
-
mit
-
ist ein
Graphhomomorphismus.
- Es sei die Relation aus (1). Welche Eigenschaften einer
Ordnungsrelation
erfüllt sie, welche nicht?