•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  

모임 (r1) (복원)


비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.



[[분류:가져온 문서/오메가]]
집합론에서 모임(Class)란 특정한 성질을 갖는 대상을 모아 놓은 것을 말한다. 모임은 꼭 집합인 것은 아니며, 모든 집합의 모임, 혹은 모든 서수의 모임같이 집합이 아닌 모임도 존재한다. 집합이 아닌 모임을 진모임(Proper class)라 부른다.

== 정의 ==
모임의 정의는 집합론 체계에 의존한다. 체르멜로-프렌켈 집합론의 경우 모임은 어떤 명제를 편의상 모임의 형태로 기술한 것에 불과하다. 하지만 폰 노이만-베르나이-괴델 집합론이나 [[모스-켈리 집합론]]의 경우 모임은 구체적인 정의를 갖는다.

[Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]