Пусть Две вершины <tex>G = (V, E)u</tex> — ориентированный граф. Рассмотрим граф <tex>G' = (V, E')</tex>, составленный из вершин графа <tex>G</tex>, в котором ребро <tex>(x, y)</tex> существует тогда и только тогда, когда <tex>(x, y) \in E \lor (y, x) \in E</tex>. Скажем, что между вершинами <tex>v \in G</tex> и <tex>u \in G</tex> существет называются '''неориентированный путьслабо связными''', если <tex>\exists u \rightsquigarrow v</tex> и <tex>\lor \exists u\rightsquigarrow v</tex> связаны путем в <tex>G'</tex>.}} {{ОпределениеУтверждение|definitionstatement=Пусть <tex>G = (V, E)</tex> — ориентированный граф. Слабая связность - '''Компоненты слабой связностине является отношением эквивалентности''' — классы эквивалентности вершин графа <tex>C_i</tex>, на которые разбивает множество <tex>V</tex> отношение существования неориентированного пути.}}{{Определение|definitionproof=Ориентированный граф Достаточно показать, что оно не '''транзитивно''': <tex>G = (V, E)a\rightsquigarrow b \land c\rightsquigarrow b \not\Rightarrow a\rightsquigarrow c</tex> называется '''слабо связным''', если он состоит из одной компоненты слабой связности.}}
