유한 집합: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
9번째 줄:
* [[단사 함수]] <math>\mathbb N\to S</math>가 존재하지 않는다.
* [[전사 함수]] <math>S\to\mathbb N</math>이 존재하지 않는다.
* <math>S</math>의 [[집합의 크기]]가 [[자연수]]이다. 즉, <math>|S|\in\mathbb N=\{0,1,2,3,\dots\}</math>이다.
* <math>S</math>의 [[멱집합]] [[격자 (순서론)|격자]] <math>(\mathcal P(S),\subseteq)</math>는 [[오름 사슬 조건]]을 만족시킨다.
* <math>S</math>의 [[멱집합]] [[격자 (순서론)|격자]] <math>(\mathcal P(S),\subseteq)</math>는 [[내림 사슬 조건]]을 만족시킨다.
| |||