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

Строгий частичный порядок

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

оно антирефлексивно, транзитивно и асимметрично. В БД имеется несколько вариантов теории строгого частичного порядка: