Ungerichteter Graph/Untergraph/Voll/Definition

Ein Untergraph ${\displaystyle {}(W,F)\subseteq (V,E)}$ heißt voll, wenn jede Kante aus ${\displaystyle {}E}$, die Punkte aus ${\displaystyle {}W}$ verbindet, auch eine Kante in ${\displaystyle {}F}$ ist.