집합 S {\displaystyle S} 가 주어졌을 때, 어떤 자연수 n {\displaystyle n} 에 대해 일대일 대응 f : S → { 1 , 2 , … , n } {\displaystyle f:S\to \{1,2,\dots ,n\}} 이 존재하면 S {\displaystyle S} 를 유한집합(finite set)이라고 한다. 유한집합이 아닌 집합은 무한집합이라고 한다.