공집합: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
10번째 줄:
 
모든 집합 A에 대해서 :
* 공집합(the empty set)은공집합은 A의 [[부분집합]](subset)이다.
:<math>\forall A: \varnothing \subseteq A\, .</math>
 
* 집합 A와 집합 A의 공집합의 [[합집합]](union)은 집합 A이다.
:<math>\forall A: A \cup \varnothing = A\, .</math>
 
* 집합 A와 집합 A의 공집합의 [[교집합]](intersection)은 공집합이다.
:<math>\forall A: A \cap \varnothing = \varnothing\, .</math>
 
* 집합 A와 집합 A의 공집합의 내적[[카르테시안 (Cartesian product) 는곱]]은 공집합이다.
:<math>\forall A: A \times \varnothing = \varnothing\, .</math>
 
공집합은 다음과 같은 성질(property)들을성질들을 가지고 있다.
* 공집합의 유일한 부분집합은 공집합 자신이다.
:<math>\forall A: A \subseteq \varnothing \Rightarrow A = \varnothing\, .</math>
 
29번째 줄:
:<math>2^\varnothing = \{\varnothing\}\, .</math>
 
* 공집합의 원소의 개수는갯수는 0이다. 즉, 공집합의 [[기수 (cardinality수학)|기수]]가 0 이다. 공집합은 유한 집합이다.
:<math>| \varnothing | = 0\, .</math>