Відношення впорядкованості (позначається ) - це бінарне відношення R у множині М, яке рефлексивне, антисиметричне й транзитивне:
1. (рефлексивність);
2. якщо й , то (антисиметричність);
3. якщо й , то (транзитивність).
Відношення строгої впорядкованості < антирефлексивне, антисиметричне або асиметричне, транзитивне.
Відношення предпорядку рефлексивне і транзитивне.
Елементи множини порівнянні, якщо в множині М задане відношення порядку.
Прикладвідношення нестрогого включення - відношення упорядкованості .
Впорядкована множина- це множина з заданим у ній відношенням порядку.
Лінійно впорядкована(інакше- частково впорядкована), якщо будь-які два елементи mi і mj упорядкованої множини перебувають у відносинах впорядкованості або .
Приклад лінійно впорядкованої множини - це множина натуральних чисел.