Ungerichteter Graph/Menge/Abbildung/Bildgraph/Definition

Bildgraph

Es sei ein Graph, eine Menge und eine Abbildung. Unter dem Bildgraphen zu versteht man denjenigen Graphen, dessen Knotenmenge durch das Bild von und dessen Kantenmenge durch

gegeben ist.