無窮集合

Template:當代數學 無窮集合者，有無限元素之集也，或曰無限集。反之則曰有限集。

夫無窮集合（A）者，同乎：

• 自然數必單射之（「{0,1,...,n-1}→A」），意謂有數若干，則集中可取物若干；

• 自然數集單射之（「$\mathbb{N}\to A$ 」）；

• 滿射自然數集（「$A\to \mathbb{N}$ 」）；

• 有真子集一一對應之。

例

• 自然數集，無窮集合也。
• 整數集，無窮集合也，可一一對應偶數集。
• 實數集，無窮集合也，然正割乃零一線段雙射實數集也。