쌍대유한집합

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

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

정의[편집]

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

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

같이 보기[편집]