쌍대 유한 집합

위키백과, 우리 모두의 백과사전.
(여유한에서 넘어옴)
이동: 둘러보기, 검색

집합론에서, 쌍대 유한 집합(雙對有限, 영어: cofinite set) 그 여집합유한 집합부분 집합이다.

정의[편집]

집합 S의 부분 집합 A\subset S쌍대 유한이라는 것은 S\setminus A유한 집합이라는 것이다. 다시 말하면 쌍대 유한 부분 집합은 유한한 갯수의 원소를 제외하고는 원래 집합의 모든 원소를 포함한다.

여집합이 유한하지는 않지만 가산이면 쌍대 가산 집합이라 한다.

같이 보기[편집]