第一个超限序数

欧米伽
术语名称	欧米伽
英语名称	omega
别名	第一个无限序数, 第一个超限序数

第一个超限序数
对象名称	第一个超限序数
对象记号	[math]\displaystyle{ \omega }[/math]
Latex	\omega
对象类别	序数

第一个超限序数，记作 [math]\displaystyle{ \omega }[/math] ，也记作 [math]\displaystyle{ \omega_0 }[/math] ，是自然数集的序型，也是自然数集作为良序集的序数。

• 是第一个极限序数，是所有有限序数的上确界。
• 是有限序数和无限序数的分界线，一个序数小于 [math]\displaystyle{ \omega }[/math] 当且仅当其是有限序数。
• 是可数序数。
• 是归纳集，即包含 0 且对后继运算封闭的最小集合。