有限集合
Finite set
要素の数が0以上かつ有限個(無限ではなく、ある自然数(無限を除く)で表すことができる数)である集合を有限集合と呼ぶ。
ある自然数n(0含む)で作られる1からnまでの集合との間に全単射が作れる集合のこと。
ある自然数n(無限を除く)で、n個までの要素(元)を持つ集合。
有限集合ではない集合は
無限集合
である。
#集合論