有限集合しゅうごう

集合 $\,X$ が 空集合であるとき、または、

ある自然数 $n$ に対して $X$ と $\{1,\ldots,n\}$ の間に全単射があるとき、$X$ を有限集合とよぶ。

$X$ が空でないとき、$n$ を $X$ の要素数という。空集合の要素数を $0$ と決める。