Відношення називається відношенням строгого порядку, якщо воно є:
Для множин N (натуральних чисел) та R (дійсних чисел) виконується:
Нехай α та β кардинальні числа множин А та В відповідно. Тоді α • β є кардинальним числом:
Множина А із заданим на ній відношення м R: АХA є частково впорядкованою, якщо: