Component Graph

The component graph of $G$ is a new graph $G^{SCC}=(V^{SCC},E^{SCC})$ where:

$$\begin{array}{rl}{V}^{SCC}=& \{\text{all strongly connected components of }G\}\\ (A,B)\in E^{SCC}⟺& (a,b)\in E\text{ for some }a\in A\text{ and }b\in B\\ & \text{where }A\ne B\end{array}$$

(vertices consist of Strongly Connected Components)