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

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