Starker Zusammenhang

(für gerichtete Graphen)

Kanten sind gerichtet, also auch Wege.

(Die Relation x $\sim_{G}^{}$ y falls es eine Weg von x nach y gibt ist keine Äquivalenz.)

Die Relation x $\equiv_{G}^{}$ y falls es einen Weg von x nach y und einen Weg von y nach x gibt, ist eine Äquivalenzrelation.

Die Äquivalenzklassen heißen starke Zusammenhangskomponenten (SCC: strongly connected components)