Бисвязные вершины

Бисвязные вершины (Mutually connected vertices) - такие вершины [math]\displaystyle{ a }[/math] и [math]\displaystyle{ b }[/math] в орграфе, что существуют пути [math]\displaystyle{ P(a,b) }[/math] из [math]\displaystyle{ a }[/math] в [math]\displaystyle{ b }[/math] и [math]\displaystyle{ Q(b,a) }[/math] из [math]\displaystyle{ b }[/math] в [math]\displaystyle{ a }[/math].

Другие названия --- Взаимно связные и Сильно связные вершины.