設 為一個良序集。那麼對於某個
,集合
被稱為
的一個初始段(Rubin 1967, p. 161; Dauben 1990, pp. 196-197; Moore 1982, pp. 90-91)。這個術語最早由康托爾使用,他同時證明了如果
和
是非序同構的良序集,那麼以下陳述中恰好有一個為真
1. 與
的一個初始段序同構,或者
2. 與
的一個初始段序同構
(Dauben 1990, p. 198)。
設 為一個良序集。那麼對於某個
,集合
被稱為
的一個初始段(Rubin 1967, p. 161; Dauben 1990, pp. 196-197; Moore 1982, pp. 90-91)。這個術語最早由康托爾使用,他同時證明了如果
和
是非序同構的良序集,那麼以下陳述中恰好有一個為真
1. 與
的一個初始段序同構,或者
2. 與
的一個初始段序同構
(Dauben 1990, p. 198)。
韋斯坦因,埃裡克·W. "初始段。" 來自 —— 資源。 https://mathworld.tw/InitialSegment.html