ein maximaler zusammenhängender Teilgraph ohne Artikulation.

Es sei G ein zusammenhängender Graph mit mindestens zwei Ecken. Ein zusammenhängender Teilgraph B von G heißt Block von G, wenn B keine trennende Ecke besitzt, und wenn es keinen zusammenhängenden Teilgraphen \({B}^{^{\prime} }\subseteq G\) ohne trennende Ecke gibt mit \(B\subseteq {B}^{^{\prime} }\) und \(B\ne {B}^{^{\prime} }\).

Da der vollständige Graph \({K}_{2}\) keine trennende Ecke hat, enthält jeder Block mindestens eine Kante. Sind \({B}_{1},{B}_{2},\ldots, {B}_{t}\) alle Blöcke eines Graphen G, so hat König 1936 folgende Strukturaussagen nachgewiesen.

Zwei verschiedene Blöcke haben höchstens eine gemeinsame Ecke und damit insbesondere keine gemeinsame Kante.

Daraus ergibt sich

\begin{eqnarray}K(G)=K({B}_{1})\cup K({B}_{2})\cup \ldots \cup K({B}_{t}).\end{eqnarray}