有限集合

数学において、集合が有限（ゆうげん、）であるとは、自然数 n を用いて {1, 2, ..., n} という形にあらわされる集合との間に全単射が存在することをいう（ただしここでは、n = 0 の場合も許される。この場合は空集合であることを意味するのであり、これも有限集合の一種と考えるということである）。このような集合を有限集合（ゆうげんしゅうごう、）とよび、有限でない集合を無限集合と呼ぶ。