부분집합
From Wikipedia, the free encyclopedia
집합론에서 집합 B의 부분집합(部分集合, 영어: subset) A는, 모든 원소가 B에도 속하는 집합이다. 이런 관계를 주로 A ⊆ B라 표기한다. 예를 들어 집합 {1, 2}는 {1, 2, 3}의 부분집합이다. 벤 다이어그램에서는 부분집합 관계를 하나가 하나를 완전히 감싼 두 원으로 나타낸다. A = B인 경우에도 A는 B의 부분집합이 되는데, 그렇지 않은 부분집합을 진부분집합(眞部分集合, 영어: proper subset)이라고 한다.
임의의 집합의 원소에 일정한 제약을 가해 그 집합의 부분집합을 만들 수 있다. 이는 ZFC의 분류 공리꼴에도 반영된다.
집합의 모든 부분집합을 모아놓은 집합을 멱집합이라고 한다.