Дискретная математика. Множества. Отображения. Отношения

86 R – симметрично [ ] [ ] T R R ↔ = ; R – антисимметрично [ ] [ ] T n R R E ↔ × ≤ ([ ] [ ] 0) ij ji i j R R ↔∀ ≠ = ; R – транзитивно [ ] [ ] [ ] R R R ↔ ≤ o ; R – антитранзитивно ([ ] [ ]) [ ] 0 n n R R R × ↔ × = o ; R – полно [ ] [ ] 1 T n n n R R E × ↔ ∨ ∨ = . Справедливость утверждений данной теоремы следует из теорем 8.1, 8.2, 8.3 и 7.2.