Un subgráfico fuertemente conectado, S, de un grafo dirigido, D, tal que ningún vértice de D puede agregarse a S y todavía ser fuertemente conectado. Informalmente, un subgráfico máximo en el que cada vértice es accesible desde todos los demás vértices.