쌍대 유한 집합

틀:위키데이터 속성 추적 집합론에서 쌍대 유한 집합(雙對有限集合, 틀:Llang) 그 여집합이 유한 집합인 부분 집합이다.

정의

집합 $S$의 부분 집합 $A\subset S$의 여집합 $S\setminus A$가 유한 집합이라면, $A$를 쌍대 유한 집합이라고 한다. 즉, 쌍대 유한 집합은 어떤 유한 개의 원소들을 제외한 모든 원소들을 포함하는 부분 집합이다.

같이 보기

• 쌍대 가산 집합