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

 

Предпорядок (квазипорядок)
Бинарное отношение называется отношением предпорядка (квазипорядка) оно симметрично и транзитивно; в БД имеются следующие варианты теории отношения предпорядка:
  1. SOrdp – бескванторный вариант на множествах
.

© Автор статьи.