Изменения
→Случай неориентированного графа
{{Определение
|definition=
Две вершины <tex>u</tex> и <tex>v</tex> называются '''связаными''''' (adjacent)'', если в графе <tex>G</tex> существует [[Основные определения теории графов|путь]] из <tex>u</tex> в <tex>v</tex> (обозначение: <tex>u \rightsquigarrow v </tex>).}}
{{Теорема
|statement=
Связность {{---}} '''[[Отношение_эквивалентности|отношение эквивалентности]]''''' (equivalence relation)''.
|proof=
'''[[Рефлексивное_отношение|Рефлексивность]]''': <tex>\forall a \in V a \rightsquigarrow a</tex> (очевидно).
|id = def2
|definition=
'''Компонентой связности''''' (connected component) '' называется класс эквивалентности относительно связности.}}
{{Определение
|id = connected_graph
|definition=
Граф <tex>G=(V, E)</tex> называется '''связным''''' (connectivity graph)'', если он состоит из одной компоненты связности. В противном случае граф называется '''несвязным'''.}}
== Случай ориентированного графа ==
