모임 (집합론): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
→성질: 중복 링크 삭제 |
||
24번째 줄:
== 성질 ==
[[체르멜로-프렝켈 집합론]]이나 [[폰 노이만-베르나이스-괴델 집합론]], [[모스-켈리 이론]] 등에서는 다음이 성립한다
* <math>X</math>는 [[집합]]이다.
* <math>X</math>의 모든 부분 모임은
* <math>X</math>를 원소로 하는 모임이 존재한다.
* <math>X</math>를 원소로 하는
* <math>X</math>를 원소로 하는 고유 모임이 존재한다.
[[폰 노이만-베르나이스-괴델 집합론]], [[모스-켈리 이론]] 등, 대역적 선택 공리({{llang|en|axiom of global choice}})를 포함하는 이론에서는 다음 조건들이 위 조건들과 추가로 동치이다.
* <math>X</math>는 모든 [[순서수]]의 모임 <math>\operatorname{Ord}</math>와 [[일대일 대응]]을 갖지 않는다.
* <math>X</math>와
* 임의의 고유 모임 <math>Y</math>에 대하여, <math>X</math>는 <math>Y</math>와
== 예 ==
| |||