정다면체의 집합 S는 원소가 5개이다. 즉 {\displaystyle |S|=5}이다.
집합론에서, 집합의 **크기**(영어: cardinality) 또는 **농도**(濃度)는 집합의 "원소 개수"에 대한 척도이다. 유한 집합의 크기의 표현은 자연수로 충분하다. 임의의 집합의 크기는 단사 함수 및 전단사 함수를 통해 비교할 수 있으며, 기수로서 대상화할 수도 있다. 집합 *A*의 크기는 |*A*| 또는 n(*A*), *A*, card(*A*), # *A*로 표기한다.

정의
--

두 집합 A와 B 사이에 만약 전단사 함수 {\displaystyle f\colon A\to B}가 존재한다면, {\displaystyle |A|=|B|}라고 하고, 두 집합이 서로 **대등**(對等, 영어: equinumerous)하다고 한다.

두 집합 A와 B 사이에 만약 단사 함수 {\displaystyle f\colon A\to B}가 존재한다면, {\displaystyle |A|\leq |B|}라고 하고, A의 크기가 B의 크기보다 작거나 같다고 한다.

두 집합 A와 B 사이에 만약 단사 함수 A\to B가 존재하나, 전단사 함수 A\to B가 존재하지 않는다면, {\displaystyle |A|<|B|}라고 하고, A의 크기가 B의 크기보다 작다고 한다.

성질
--

집합의 대등 {\displaystyle |A|=|B|}은 집합들에 대한 "동치 관계"이다. {\displaystyle |A|\leq |B|}은 집합들에 대한 "반사 관계"이자 "추이 관계"이다.

칸토어-번슈타인 정리에 따르면, 만약 {\displaystyle |A|\leq |B|}이며 {\displaystyle |A|\geq |B|}이면, {\displaystyle |A|=|B|}이다.

임의의 두 집합에 대하여 {\displaystyle |A|\leq |B|}이거나 {\displaystyle |A|\geq |B|}이다. 이는 선택 공리와 동치이다.

만약 전사 함수 B\to A가 존재한다면, {\displaystyle |A|\leq |B|}이다. 이는 선택 공리 가정 하에 성립한다.

집합의 크기 비교는 기수의 비교와 일치한다. 예를 들어 두 집합이 대등할 필요 충분 조건은 두 집합의 기수가 같다는 것이다.

정리하면, 집합의 크기 비교는 집합들에 대한 "원전순서"이며, 이에 대응하는 "동치 관계"는 집합의 대등, 이에 대응하는 "전순서"는 기수의 비교이다.

예
-

유한 집합의 크기는 단순히 그 원소 개수이다. 예를 들어, {\displaystyle |\{0,1,2,3,4\}|=5}이다. 무한 집합의 크기는 자연수로 표현할 수 없다.

자연수 집합과 대등한 집합을 가산 무한 집합이라고 한다. 정수 집합이나 유리수 집합은 모두 가산 무한 집합이다. 즉, 이들은 모두 자연수와 일대일 대응한다.

자연수 집합과 대등하지 않은 무한 집합을 비가산 집합이라고 한다. 실수 집합은 비가산 집합이다. 즉, 이는 자연수와 일대일 대응할 수 없다.

참고 문헌
-----

| * v
* t
* e
수리논리학 |
| --- |
| 일반 | 
* 형식 언어
* Formation rule
* 형식 체계
* 형식 증명
* 형식 의미론
* 논리식
* 집합
* 원소
* 모임
* 고전 논리
* 공리
* 자연 연역
* 추론 규칙
* 관계
* 정리
* 논리적 결과
* 공리계
* 유형 이론
* 논리기호
* 통사
* Theory

 |
| 명사논리학 | 
* 명제
* 추론
* 논증
* 타당성
* Cogency
* 삼단논법
* 대당관계
* 벤 다이어그램

 |
| 명제 논리불 논리 | 
* 불 함수
* 명제 논리
* 규범논리
* 논리 연산
* 진리표

 |
| 술어 논리 | 
* 1차 논리
* 양화
* 술어
* 2차 논리
* Monadic predicate calculus

 |
| 소박한 집합론 | 
* 집합
* 공집합
* 원소
* Enumeration
* 외연성
* 무한 집합
* 부분집합
* 멱집합
* 가산 집합
* Uncountable set
* Recursive set
* 정의역
* 공역
* 상
* Map
* 함수
* 이항연산
* 순서쌍

 |
| 집합론 | 
* 수학기초론
* 체르멜로-프렝켈 집합론
* 선택 공리
* General set theory
* 크립키-플레이텍 집합론
* 폰 노이만-베르나이스-괴델 집합론
* 모스-켈리 집합론
* 타르스키-그로텐디크 집합론

 |
| 모형 이론 | 
* 모형
* 해석
* 비표준 모형
* 유한 모형 이론
* 진릿값
* Validity

 |
| 증명 이론 | 
* 형식 증명
* 연역 체계
* 형식 체계
* 정리
* 논리적 귀결
* 추론 규칙
* 구문

 |
| 계산 가능성 이론 | 
* 계산 가능성 이론
* 처치-튜링 논제
* 재귀
* 재귀 집합
* 재귀 열거 집합
* 결정 문제
* 정지 문제
* 계산 가능한 수
* μ-재귀 함수
* 원시 재귀 함수

 |

| * v
* t
* e
집합론 |
| --- |
| 집합 | 
* 원소
* 공집합
* 한원소 집합
* 부분집합
* 교집합
* 합집합
* 여집합
* 대칭차
* 멱집합
	+ 멱집합 공리
* 곱집합
	+ 순서쌍
* 유한 집합
* 무한 집합
	+ 무한 공리
* 가산 집합
* 드 모르간의 법칙

 |
| 함수 | 
* 정의역
* 공역
* 치역
* 상
* 전사 함수
* 단사 함수
* 전단사 함수
* 다가 함수
* 역함수
* 항등 함수
* 상수 함수
* 지시 함수
* 함수의 합성

 |
| 기수 | 
* 집합의 크기
* 칸토어의 정리
	+ 대각선 논법
* 알레프 수
* 베트 수
* 극한 기수
* 기멜 함수
* 가능 공종도

 |
| 순서수 | 
* 정렬 순서
* 초한귀납법
* 공종도
	+ 쾨니그의 정리
* 하르톡스 수
* 정규 함수

 |
| 역설의 해소 | 
* 소박한 집합론
* 러셀의 역설
* 칸토어 역설
* 부랄리포르티 역설
* 모임
* 유형 이론
	+ 《수학 원리》
* 체르멜로-프렝켈 집합론
* 새 기초
* 폰 노이만-베르나이스-괴델 집합론
* 모스-켈리 집합론

 |
| 선택 공리 | 
* 가산 선택 공리
* 의존적 선택 공리
* 초른 보조정리
* 슈필라인 확장정리
* 바나흐-타르스키 역설
* 티호노프 정리

 |
| 집합론의 모형 | 
* 구성 가능 전체
* 추이적 집합
* 추이적 모형
* 순서수 정의 가능 집합
* 강제법

 |
| 큰 기수 | 
* 도달 불가능한 기수
* 가측 기수
* 약콤팩트 기수
* 강콤팩트 기수
* 초콤팩트 기수

 |
| ZF와 독립된 명제 | 
* 연속체 가설
* 특이 기수 가설
* 수슬린 가설
* 화이트헤드 문제
* 결정 공리
* 마틴 공리
* 다이아몬드 원리

 |

|  |  |
| --- | --- |
| 전거 통제: 국가 위키데이터에서 편집하기 | 
* 폴란드

 |