проверено
Определение 1. Бинарное отношение на множестве называется отношением частичного порядка1), если оно удовлетворяет свойствам
Пример 1. Пусть — множество всех подмножеств множества . Отношение включения на является отношением частичного порядка.
Пример 2. Упорядочение 2) на множестве действительных чисел является отношением частичного порядка.
Пример 3. На множестве комплексных чисел определим бинарное отношение как множество упорядоченных пар комплексных чисел таких, что и . Тогда удовлетворяет свойствам
и по определению является отношением частичного порядка.
Пример 4. Отношение делимости на множестве целых чисел 3) не является отношением частичного порядка, так как не обладает свойством антисимметричности: 2 делится на -2 и -2 делится на 2, но . Но то же самое отношение на множестве натуральных чисел является отношением частичного порядка.
Достаточно часто наряду с отношением частичного порядка встречаются бинарные отношения, которые вместо отношения рефлексивности удовлетворяют отношению антирефлексивности. Например, на множестве действительных чисел в случае, если и пишут .
Определение 2. Бинарное отношение на множестве называется отношением строгого частичного порядка4), если оно удовлетворяет свойствам
Определение 3. Бинарное отношение на множестве называется отношением линейного порядка5), если
Пример 5. Бинарное отношение на множестве комплексных чисел из примера 1 не является отношением линейного порядка, так как ни пара , ни не принадлежат бинарному отношению .
Пример 6. На множестве действительных чисел упорядочение 6) является отношением линейного порядка.
Про множество, на котором задано отношение частичного порядка, говорят, что оно частично упорядочено. Если же задано отношение линейного порядка, то множество называют линейно упорядоченным, или просто упорядоченным.