关于一种图，不知道它有没有确切定义

在做2-SAT的时候发现的。就是在一个有向图中，不断地加边，直到找不出这样的边。这样的边uv是指对某一个点u，通过一条路径能到达v。我想不起有没有这样的定义。反正有一点可以确定，就是如果有环就是强连通分支。