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

${\displaystyle V\longrightarrow V/\sim ,}$

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