"모임 (수학)"의 두 판 사이의 차이

7 바이트 추가됨 ,  2년 전
편집 요약 없음
태그: m 모바일 웹
[[집합론]]에서, '''모임''' 또는 '''클래스'''({{llang|en|class|클래스}}) 특정한 성질을 만족하는 [[집합]](혹은 그 외의 수학적 대상)을 모은 것이다. 모임은 지나치게 커서 [[집합]]이 아닐 수 있으며, 이렇게 집합이 아닌 모임을 '''고유 모임'''(固有모임, {{llang|en|proper class}})이라고 한다.
 
== 정의 ==
=== 체르멜로-프렝켈 집합론에서의 정의 ===
'''모임'''의모임의 정의는 표준적인 [[집합론]]([[체르멜로-프렝켈 집합론]]의 확장)에서는 형식적으로 다룰 수 없고, 비형식적으로만 다루어진다. 이 경우, "모임"은 어떤 1변수 술어 <math>\phi(x)</math>와 동의이다. 술어 <math>\phi</math>에 대응하는 모임은 보통
:<math>\{x\colon\phi(x)\}</math>
로 쓰며,
익명 사용자