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

Нестрогий частичный порядок: Бинарное отношение называется отношением нестрогого частичного порядка оно рефлексивно, транзитивно и антисимметрично. В БД имеется следующий вариант теории нестрогого порядка: SE₁Ordn – бескванторный вариант на множествах.