有限集合

数学において、集合が有限 であるとは、自然数 n を用いて {1, 2, ..., n} という形にあらわされる集合との間に全単射が存在することをいう。このような集合を有限集合 とよび、有限でない集合を無限集合と呼ぶ。