Словарь по логике

Предпорядок (квазипорядок)

Бинарное отношение называется отношением предпорядка (квазипорядка)

оно симметрично и транзитивно; в БД имеются следующие варианты теории отношения предпорядка: