Бинарное отношение R на множестве А называется Отношением частичного порядка, если оно рефлексивно, транзитивно и антисимметрично.