设 
为一个良序集。那么对于某个 
，集合 
被称为 
的一个初始段（Rubin 1967, p. 161; Dauben 1990, pp. 196-197; Moore 1982, pp. 90-91）。这个术语最早由康托尔使用，他同时证明了如果 
和 
是非序同构的良序集，那么以下陈述中恰好有一个为真
1. 
与 
的一个初始段序同构，或者
2. 
与 
的一个初始段序同构
(Dauben 1990, p. 198)。
初始段
另请参阅
良序集使用 探索
参考文献
Dauben, J. W. 格奥尔格·康托尔：他的数学和无穷哲理。 Princeton, NJ: Princeton University Press, 1990.Moore, G. H. 策梅洛选择公理：其起源、发展和影响。 New York: Springer-Verlag, 1982.Rubin, J. E. 数学家的集合论。 New York: Holden-Day, 1967.在 中被引用
初始段请引用为
韦斯坦因，埃里克·W. "初始段。" 来自 —— 资源。 https://mathworld.net.cn/InitialSegment.html