205
правок
Изменения
Нет описания правки
'''Коммутативность:''' <math>(u, v)\in R \Rightarrow (v, u)\in R. </math> (Очевидно)
'''Транзитивность:''' <math>(u, v)\in R </math> и <math>(v, w)\in R \Rightarrow (u, w)\in R. </math>
''Доказательство:'' Пусть <math>P_1,P_2 = u \rightsquigarrow v</math> и <math>Q_1,Q_2 = v \rightsquigarrow w</math> - реберно непересекащиеся пути.
}}
