良序原理（Well-Ordering Principle）是數學中的一個基本原理，尤其在集合論和數論中有重要套用。它可以表述為非負整數集中的每個非空子集都有一個最小元素。這個原理看起來可能非常直觀，但它實際上是一個非常強大的工具，可以用來證明許多重要的數學定理。例如，它可以用來證明每一個大於1的自然數都可以寫成素數的乘積（質因數分解定理，也就是算術基本定理）。良序原理和數學歸納法是等價的，也就是說，如果你接受數學歸納法是正確的，那麼你就必須接受良序原理是正確的，反之亦然。這兩個原理都是基於自然數的基本性質，即自然數是離散的、無限的，並且每一個自然數都有一個唯一的後繼。
在更高級的數學中，良序原理可以推廣到其他類型的集合，例如有序集和良序集。在這些情況下，良序原理的表述可能會更複雜，但基本的思想是相同的：每一個非空的集合都有一個最小元。
良序化定理（well-ordering theorem）亦稱「整序」，是一種非常重要的序關係。它指的是如果一個集合可以通過賦予一種次序，使之成為良序集，那麼這個集合就稱為良序化集合。良序化定理可以表述為：「每一個集合都可以通過賦予一種次序，使之成為良序集。」良序化定理作為選擇公理的一個等價命題，是集合論中的一個重要定理。