(+)분류 : 가져온 문서/오메가
집합론에서 모임(Class)란 특정한 성질을 갖는 대상을 모아 놓은 것을 말한다. 모임은 꼭 집합인 것은 아니며, 모든 집합의 모임, 혹은 모든 서수의 모임같이 집합이 아닌 모임도 존재한다. 집합이 아닌 모임을 진모임(Proper class)라 부른다.
1. 정의 ✎ ⊖
모임의 정의는 집합론 체계에 의존한다. 체르멜로-프렌켈 집합론의 경우 모임은 어떤 명제를 편의상 모임의 형태로 기술한 것에 불과하다. 하지만 폰 노이만-베르나이-괴델 집합론이나 모스-켈리 집합론의 경우 모임은 구체적인 정의를 갖는다.
이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.
