- A component of a directed graph that has a path from every vertex to every other vertex in that component - Must be in a directed graph https://www.geeksforgeeks.org/strongly-connected-components/