Предпорядок

Квазипорядок, предупорядоченность, квазиупорядоченность, — рефлексивное и транзитивное бинарное отношение на множестве. Если есть П. на множестве М, то отношение и , является отношением эквивалентности на М. При этом П. индуцирует порядок на фактормножестве М/~. Т. С. Фофанова.