Изменения
Нет описания правки
'''Рефлексивность''': <tex>\forall a \in V a \rightsquigarrow a</tex> (очевидно).
'''КоммутативностьСимметричность''': <tex>a\rightsquigarrow b \Rightarrow b\rightsquigarrow a</tex> (в силу неориентированности графа).
'''Транзитивность''': <tex>a\rightsquigarrow b \land b\rightsquigarrow c \Rightarrow a\rightsquigarrow c</tex> (очевидно).
