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

Отношение называется отношением нестрогогопорядка, если оно рефлексивно, антисимметрично, транзитивно.

Отношение называется отношением строгого порядка, если оно антирефлексивно, антисимметрично, транзитивно.

Оба типа таких отношений называются отношениями порядка.

Элементы a и b сравнимы по отношению порядка R, если выполняется aRb или bRa.

Множество М, на котором задано отношение порядка, называется полностью упорядоченным, если любые два элемента М сравнимы.

Множество М, на котором задано отношение порядка, называется частично упорядоченным, если не любые два элемента М сравнимы.