Отношения строгого порядка

Отношение строгого порядка является антирефлексивным и транзитивным отношением и может быть интерпретировано как предпочтительность в широком смысле одного объекта по сравнению с другим объектом, например: «важнее», «лучше», «выше», «больше» и т.п.

Для обозначения отношения строгого порядка используется специальный символ «больше». Отношение полного и строгого порядка порождает строгое упорядочение объектов по предпочтительности.

Добавить комментарий