These are maximal subsets of vertices reachable from each other in a directed graph. , ,

Algorithms