부분집합(비교)
| r2 vs r3 | ||
|---|---|---|
| ... | ... | |
| 4 | 4 | == 개요 == |
| 5 | 5 | [[집합]] [math(A)]와 [math(B)]에 대하여 |
| 6 | 6 | |
| 7 | ||<tablealign=center><tablebordercolor=transparent><tablebgcolor=transparent>[math( |
|
| 7 | ||<tablealign=center><tablebordercolor=transparent><tablebgcolor=transparent>[math(\forall x (x \in A \to x \in B))]|| |
|
| 8 | 8 | |
| 9 | 9 | 가 참일 때, [math(A \subset B)]라고 쓰며 '[math(A)]는 [math(B)]의 부분집합'이라고 읽는다. |
| 10 | ||
| 11 | == 진부분집합 == |
|
| 12 | 위의 조건에 더하여 |
|
| 13 | ||
| 14 | ||<tablealign=center><tablebordercolor=transparent><tablebgcolor=transparent>[math(\forall x (x \in A \to x \in B) \land \exists y (y \notin A \land y \in B))]|| |
|
| 15 | ||
| 16 | 일 경우, [math(A)]를 [math(B)]의 진부분집합(proper subset)이라 하고 [math(A \subsetneq B)]라고 쓴다. |