Отношение r называется отношением частичного порядка (или просто частичным порядком) на множестве X, если оно рефлексивно, антисимметрично и транзитивно на множестве X. Множество X в этом случае называют частично упорядоченным и указанное отношение часто обозначают символом £, если это не приводит к недоразумениям.
Отношение, обратное отношению частичного порядка будет, очевидно, отношением частичного порядка.
Пример
а) Пусть X – конечное множество, X = {1, 2, 3} и r = {<1, 1>, <1, 2>, <1, 3>, <2, 2>, <2, 3>, <3, 3>}. Отношение r есть отношение частичного порядка.
б) Отношение А Í В на множестве подмножеств некоторого множества U есть отношение частичного порядка.
в) Отношение делимости на множестве натуральных чисел есть отношение частичного порядка.