Отношение называется отношением нестрогогопорядка, если оно рефлексивно, антисимметрично, транзитивно.
Отношение называется отношением строгого порядка, если оно антирефлексивно, антисимметрично, транзитивно.
Оба типа таких отношений называются отношениями порядка.
Элементы a и b сравнимы по отношению порядка R, если выполняется aRb или bRa.
Множество М, на котором задано отношение порядка, называется полностью упорядоченным, если любые два элемента М сравнимы.
Множество М, на котором задано отношение порядка, называется частично упорядоченным, если не любые два элемента М сравнимы.