Glossary

Algo: Semi-connected graph

A directed graph is semi-connected if for all pairs of vertices $i,j$ there is either a path from $i$ to $j$ or a path from $j$ to $i$.