부분집합_{(r3 RAW)}

[[분류:집합론]]
[include(틀:학문)]
[목차]
== 개요 ==
[[집합]] [math(A)]와 [math(B)]에 대하여

||<tablealign=center><tablebordercolor=transparent><tablebgcolor=transparent>[math(\forall x (x \in A \to x \in B))]||

가 참일 때, [math(A \subset B)]라고 쓰며 '[math(A)]는 [math(B)]의 부분집합'이라고 읽는다.

== 진부분집합 ==
위의 조건에 더하여

||<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))]||

일 경우, [math(A)]를 [math(B)]의 진부분집합(proper subset)이라 하고 [math(A \subsetneq B)]라고 쓴다.

부분집합(r3 RAW)

부분집합_{(r3 RAW)}