쌍대 가산 집합 문서 원본 보기

{{위키데이터 속성 추적}}
[[집합론]]에서, '''쌍대 가산 집합'''(雙對可算集合, {{llang|en|cocountable}})은 [[여집합]]이 [[가산 집합]]인 [[부분 집합]]이다.

== 정의 ==
집합 <math>S</math>의 [[부분 집합]] <math>A\subset S</math>의 [[여집합]] <math>S\setminus A</math>가 [[가산 집합]]이라면, <math>A</math>를 '''쌍대 가산 집합'''이라고 한다. 다시 말해, 쌍대 가산 집합은 셀 수 있는 개수의 원소를 제외하고는 원래 집합의 모든 원소를 포함한다.

== 예 ==
[[무리수]]의 집합 <math>\mathbb R\setminus\mathbb Q</math>는 실수 집합의 쌍대 가산 집합이다.

== 같이 보기 ==
* [[쌍대 유한 집합]]

{{토막글|수학}}

[[분류:집합론]]
[[분류:일반위상수학]]