부분집합_{(r4 Blame)}

		r4
r1 sefirot (새 문서)	1	[[분류:집합론]]
r2 Ricesoup	2	[include(틀:학문)]
r1 sefirot (새 문서)	3	[목차]
	4	== 개요 ==
	5	[[집합]] [math(A)]와 [math(B)]에 대하여
	6
r3 sefirot	7	\|\|<tablealign=center><tablebordercolor=transparent><tablebgcolor=transparent>[math(\forall x (x \in A \to x \in B))]\|\|
r1 sefirot (새 문서)	8
r1 sefirot (새 문서)	9	가 참일 때, [math(A \subset B)]라고 쓰며 '[math(A)]는 [math(B)]의 부분집합'이라고 읽는다.
r3 sefirot	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)]라고 쓴다.
r4 sefirot	17
	18	== 기타 ==
	19	[[일본인]]들이 번역을 똑바로 안해서 superset에 딱 맞아 떨어지는 번역어를 찾기가 힘들다.

부분집합(r4 Blame)