공집합 편집하기

'''공집합'''(空集合, empty set)은 원소가 없는 [[집합]]으로, 원소나열법으로는 <math>\{ \ \}</math>로 쓸 수 있다.<ref>사실 이것은 원소나열법이라기 보다는 공집합을 표현하는 기호에 가깝다.</ref> 일반적으로 공집합을 기호로는 ∅<ref>[[그리스 문자]]의 피([[φ]])와는 다르다. 이것은 [[덴마크어]]를 표기할 때 사용하는 문자인 [[Ø]]에서 온 것이다.</ref><ref>math 태그와 함께 쓰면 <math>∅</math>로 보이는데, 숫자 0에 사선을 그어놓은 것처럼 생겼다.</ref>로 표시한다.

== 성질 ==
* 공집합은 모든 집합의 [[부분집합]]이다.
* 임의의 집합 <math>X</math>와 공집합의 [[합집합]]은 <math>X</math>이다.
* 임의의 집합과 공집합의 [[교집합]]은 공집합이다.
* 공집합의 [[기수(수학)|기수]](cardinal)는 [[0]]이다.
* 공집합은 [[유한집합]]이다.
* 공집합의 부분집합은 공집합밖에 없다.

== 주석 ==
<references/>

[[분류:집합론]]