رابطۀ جزئی مرتب

{partially ordered relation} [ریاضی] رابطه ای که بازتابی و پادمتقارن و ترایا باشد