Ungerichteter Graph/Äquivalenzrelation/Quotientengraph/Definition

Quotientengraph

Es sei ${}G=(V,E)$ ein Graph und sei ${}\sim$ eine Äquivalenzrelation auf ${}V$. Dann nennt man die Quotientenmenge ${}V/\sim$, versehen mit der Bildgraphstruktur zur kanonischen Abbildung

$V\longrightarrow V/\sim ,$

den Quotientengraphen zu ${}\sim$. Er wird mit ${}G/\sim$ bezeichnet.