对于一张有向图
\(S\) 的子图
\(V\),满足
\(V\) 内的点两两之间可达,并且不存在一个子图
\(G\) 使得
\(G \supseteq V,G \not= V\),通俗的讲就是无法继续扩张的两两可达的子图。