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

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

 

 

임의의 집합에 대해, 그 집합의 모든 부분집합을 모아놓은 집합, 즉 [[멱집합]]이 존재한다.

{{집합론}}