쌍대 가산 집합

(여가산에서 넘어옴)

집합론에서, 쌍대 가산 집합(雙對可算集合, 영어: cocountable)은 여집합가산 집합부분 집합이다.

정의 편집

집합  부분 집합  여집합  가산 집합이라면,  쌍대 가산 집합이라고 한다. 다시 말해, 쌍대 가산 집합은 셀 수 있는 개수의 원소를 제외하고는 원래 집합의 모든 원소를 포함한다.

편집

무리수의 집합  는 실수 집합의 쌍대 가산 집합이다.

같이 보기 편집