Сортировка
план лекции взамен умершего МООДУСа
Отношение линейного порядка: Нестрогое:
- Транзитивность: T(a,b) and T(b,c) ⇒ T(a,c)
- Рефлексивность: T(a,a) == True
- Антисимметричность: T(a,b) and T(b,a) ⇒ a==b
- Линейность: T(a,b) or T(b,a) == True
Строгое:
- Транзитивность: T(a,b) and T(b,c) ⇒ T(a,c)
- Асимметричность: T(a,b) and T(b,a) == False
- (⇒ Антирефлексивность: T(a,a) == False)
- Линейность: T(a,b) or T(b,a) == True