Ein Graph ${\displaystyle {}(W,F)}$ heißt Untergraph eines Graphen ${\displaystyle {}(V,E)}$, wenn ${\displaystyle {}W\subseteq V}$, ${\displaystyle {}F\subseteq E}$ und die Kanten aus ${\displaystyle {}F}$ nur Bezug auf Punkte aus ${\displaystyle {}W}$ nehmen.