한원소 집합: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
잔글편집 요약 없음
4번째 줄:
[[집합]] <math>S</math>에 대하여 다음 조건들이 서로 [[동치]]이며, 이를 만족시키는 집합을 '''한원소 집합'''이라고 한다.
* [[집합의 크기]]가 1이다.
* <math>S\ne\emptyset</math>이며, 임의의 <math>a,b\in S</math>에 대하여, <math>a=b</math>이다.
* <math>S</math>는 두 개의 [[부분 집합]]을 가진다. 즉, [[멱집합]] <math>\mathcal P(S)</math>의 크기는 2이다.
* [[집합]]과 [[함수]]의 [[범주 (수학)|범주]] <math>\operatorname{Set}</math>에서의 [[끝 대상]]이다. 즉, 임의의 집합 <math>T</math>에 대하여, <math>T</math>에서 <math>S</math>로 가는 함수는 유일하다.