모든 집합 A에 대해 A⊆A
-집합 A에 속하는 모든 원소 a에 대해 a∈A이므로 A⊆A가 성립
모든 집합 A에 대해 Ø⊆A
함축명제 a∈Ø→a∈A이 참임을 이용
조건이 거짓이므로 a∈Ø→a∈A는 항상 참
∴ Ø⊆A는 참
(※ 부분집합: a∈A→a∈B가 참이면 A⊆B)
모든 집합 A에 대해 A⊆U
-집합 U는 전체집합이므로 논의 대상의 모든 원소를 포함. 즉, 모든 집합 A에 대해 a∈A이면 a∈U. ∴ A⊆U
집합 A, B, C에 대해 A⊆B고 B⊆C면 A⊆C -A⊆B에 의해 x∈A이면 x∈B이고, B⊆C에 의해 x∈B이면 x∈C이다. 결국, x∈A이면 x∈C이므로 A⊆C. ∴ A⊆B고 B⊆C면 A⊆C
집합 A, B에 대해 A=B ⇔ (A⊆B∧B⊆A)
원소 x에 대해 A⊆B일 경우 x∈A면 x∈B. 또, B⊆A일 경우 x∈B면 x∈A. 즉, 원소 x는 집합 A의 원소면서 집합 B의 원소.
x∈A∧x∈B) ⇔ A=B (상등의 정의) ∴ A=B ⇔ (A⊆B∧B⊆A)
집합의 종류
집합 A와 B, 집합 B와 C, 집합 B와 E, 집합 C와 E, 집합 C와 D 간의 포함관계는?
A={a}, B={a, b, w, x, y}, C={x, y}, D={w, x}, E={a, b, w, x, y, z}
|