집합론에서 쌍대 유한 집합(雙對有限集合, 영어: cofinite set) 그 여집합이 유한 집합인 부분 집합이다.
집합 S {\displaystyle S} 의 부분 집합 A ⊂ S {\displaystyle A\subset S} 의 여집합 S ∖ A {\displaystyle S\setminus A} 가 유한 집합이라면, A {\displaystyle A} 를 쌍대 유한 집합이라고 한다. 즉, 쌍대 유한 집합은 어떤 유한 개의 원소들을 제외한 모든 원소들을 포함하는 부분 집합이다.
