Un grafo orientato che ha un percorso da ogni vertice a ogni altro vertice. Definizione formale: un grafo orientato D =(V, E) tale che per tutte le coppie di vertici u, v ∈ V, c'è un percorso da voi a v e da v a voi.