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

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
일부 내용 집합대수로 옮김.
30번째 줄:
 
== 성질 ==
(부분집합 관계가 만족하는 다른 성질은 [[집합대수#포함관계 대수 법칙|여기]] 참고)
다음에서 A,B,C는 집합, S는 [[전체집합]]이다.
 
* [[공집합]] Ø은 모든 집합의 부분집합이다.
* A ⊆ A
* 어떤 집합의 부분집합을 모두 모아놓은 집합을 그 집합의 [[멱집합]]이라고 한다.
* A ⊆ B 이고 B ⊆ A 이면, A = B이며, 또한 [[역 (수학)|역]]도 [[참 (수학)|참]]이다.
* 부분집합 관계는 집합의 멱집합 위에서 자주 다루어지며, 이는 [[부분순서]]의 전형적인 예이다.
* A ⊆ B 이고 B ⊆ C 이면, A ⊆ C이다.
 
* A ⊆ S
== 같이 보기 ==
* A ⊆ (A ∪ B)
* [[멱집합]]
* A ⊆ C 이고 B ⊆ C 이면, (A ∪ B) ⊆ C
* A ∩ B ⊆ A
* C ⊆ A 이고 C ⊆ B 이면, C ⊆ (A ∩ B)
* 다음은 [[동치]]이다.
** A ⊆ B
** A ∩ B = A
** A ∪ B = B
** A − B = Ø
** B의 [[여집합]] ⊆ A의 [[여집합]]
 
{{집합론}}