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

54 바이트 추가됨 ,  3년 전
잔글 (Doyoon1995님이 모임 (집합론) 문서를 모임 (수학) 문서로 이동하면서 넘겨주기를 덮어썼습니다: 동음이의 구별을 세분화 할 필요 없음)
[[폰 노이만-베르나이스-괴델 집합론]]이나 [[모스-켈리 이론]] 등에서는 다루는 대상이 기본적으로 집합이 아니라 모임이다. 이 경우, 이론에서 다루는 모든 대상은 모임이며, 모임 <math>X</math> 가운데 이를 원소로 포함하는 다른 모임이 있을 경우 '''집합'''이라고 한다.
:<math>\operatorname{Set}(X)\iff\exists Y\colon X\in Y</math>
집합이 아닌 모임, 즉 다른 모임의 원소가 될 수 없는 모임은 '''고유 모임'''이라고 한다.
 
=== 기타 집합론에서의 정의 ===
익명 사용자