отношение R на множестве X называется отношением порядка, если оно одновременно обладает свойствами антисимметричности (xRy, y в отношении Rx не находится) и транзитивности (xRy yRz xRz).
если отношение порядка обладает еще свойством связности, то говорят, что оно является отношением линейного порядка
множество X называется упорядоченным, если на нем задано отношение порядка.
отношение R на множестве X называется связным,xесли для любых элементов x и y различны, следовательно, что либо x находится в отношении R с элементом y, либо элемент y находится в отношении R с элементом x.