Введение в системы управления базами данных
Обычно отношение порядка обозначают знаком
Определение 9
. Отношение
называется отношением порядка, если оно обладает следующими свойствами:
(рефлексивность)
- Если
, то 
- Если
, то 
и 
, то говорят, что 
. Как и для отношения эквивалентности, условия 1-3 в таких обозначениях выглядят более естественно:
(рефлексивность)
- Если
, то 
- Если
, то 
