정렬순서원리(Well-ordering principle)은 다음과 같이 서술되는 공리이다.
Axiom — N {\displaystyle \mathbb {N} } 의 공집합이 아닌 임의의 부분집합은 최소원을 가진다.
즉, 정렬순서원리는 양의 정수들의 집합이 정렬집합이라고 선언한다.
의 공집합이 아닌 임의의 부분집합은 최소원을 가진다.