부분집합: 두 판 사이의 차이

 

[[집합론]]에서 [[집합]] ''B''의 '''부분집합'''(部分集合, {{llang|en|subset}}) ''A''는, 모든 원소가 ''B''에도 속하는 집합이다. 이런 관계를 주로 ''A'' ⊆ ''B''라 표기한다. 예를 들어 집합 {1, 2}는 {1, 2, 3}의 부분집합이다. [[벤 다이어그램]]에서는 부분집합 관계를 하나가 하나를 완전히 감싼 두 원으로 나타낸다. ''A'' = ''B''인 경우에도 A는 B의 부분집합이 되는데, 그렇지 않은 부분집합을 '''진부분집합'''(眞部分集合, {{llang|en|proper subset}})이라고 한다.

임의의 집합의 원소에 일정한 제약을 가해 그 집합의 부분집합을 만들 수 있다. 이는 [[ZFC]]의 [[분류 공리꼴]]에도 반영된다.

 

 

== 정의, 용어, 표기법 ==

{{집합론}}

 

 

공집합은 모든집합의 부분집합이다!!