{partial order, ordering, order relation} [ریاضی] رابطه ای دوتایی میان اعضای یک مجموعه که بازتابی و پادمتقارن و ترایا باشد