vollständiger Teilgraph eines beliebigen Graphen.

Eine Clique H eines Graphen G heißt gesättigt, wenn in G keine Clique H′ existiert mit

\begin{eqnarray}E(H)\subseteq E({H}^{\prime} )\,\text{und}\,E(H)\ne E({H}^{\prime} ).\end{eqnarray}