View source for 無窮集合

{{當代數學}}
'''無窮集合'''者，有無限元素之[[集]]也，或曰'''無限集'''。反之則曰'''有限集'''。

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

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

*自然數集單射之（「<math>\mathbb{N}\rightarrow A</math> 」）；

*[[滿射]]自然數集（「<math>A \rightarrow \mathbb{N}</math> 」）；

*有[[子集|真子集]]一一對應之。

== 例 ==

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

[[Category:集合]]