良序集（well-ordered set），也称正序集，若全序集A的任一非空序子集必有最前元素，则称A为良序集。[1][16]一个集合A，如果满足 是有序集，则这个集合被定义为良序集，并记为。[2] 良序集最早在1895年由德国数学家康托尔在论证了相同的势与不同的势的集合都存在之后，继续研究集合这个概念并且引进了基数与序数的理论，为了引进新的序数而提出的概念。[5][4] [7]良序集还有很多普通序集不具备的重要性质。如良序集的子集是良序集；不空的良序集必有首元素；两集相似，如果其中一个是良序的，另一个也必然是良序集等。[17]良序集在数学中良序集作为自然数的数学归纳法之一，是数学推理常用的工具。同时良序集法在计算机、农业等方面都有广泛的应用。[9][8] 定义
如果一个集合满足 ，则被定义为良 序集，并记为。良序集又称正序集。[2][16]