Condensation Graph

A DAG that is the graph of each SCC combined into a single node with any edges between components if that edge exists in their original vertices.