A maximal subgraph of a Directed Graph such that for every pair of vertices , in the Subgraph, there is a directed path from to and a directed path from to .