Es sei G = ( V , E ) {\displaystyle {}G=(V,E)} ein Graph, M {\displaystyle {}M} eine Menge und φ : V → M {\displaystyle {}\varphi \colon V\rightarrow M} eine Abbildung. Unter dem Bildgraphen zu φ {\displaystyle {}\varphi } versteht man denjenigen Graphen, dessen Knotenmenge durch das Bild W = φ ( V ) ⊆ M {\displaystyle {}W=\varphi (V)\subseteq M} von φ {\displaystyle {}\varphi } und dessen Kantenmenge durch
gegeben ist.
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
