Un grafo dirigido tal que para cualesquiera dos vértices "u" y "v" existe un camino dirigido de ida y de regreso se dice que es un grafo fuertemente conexo.