Identifying groups of vertices in a directed graph where each vertex can reach any other vertex in the same group.