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

398 바이트 추가됨 ,  6년 전
* <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>와 [[고유일대일 모임대응]]에 대하여 일대일 대응을 갖지 않는다.
 
== 예 ==