[[분류:가져온 문서/오메가]]
집합론에서, 비유계 폐집합 (Club set, '''Cl'''osed '''u'''n'''b'''ounded set)은 극한서수의 부분집합 중 순서위상에 의해 닫혀 있고 비유계인 부분집합이다.
==성질==
[math(\kappa)]가 극한기수일 때 다음이 성립한다.
* [math(\lambda < \operatorname{cf}\kappa)]이고 [math(\langle C_\alpha\rangle_{\alpha<\lambda})]이 비유계 폐집합의 열일 때 [math(\bigcap_{\alpha<\lambda} C_\alpha)]도 비유계 폐집합이다.
** 특히, 두 비유계 폐집합의 교집합도 비유계 폐집합이다.
* [math(\operatorname{cf}\kappa)] 개의 비유계 폐집합의 대각 교집합도 비유계 폐집합이다.
* 임의의 정규 함수의 상은 비유계 폐집합이다. 역으로, 임의의 비유계 폐집합이 주어졌을 때 그 집합을 상으로 갖는 정규 함수가 존재한다.
== 보기 ==
* 포도르의 정리
[Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
