부분집합(비교)

r3 vs r4
... ...
14 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 15
16 16
일 경우, [math(A)]를 [math(B)]의 진부분집합(proper subset)이라 하고 [math(A \subsetneq B)]라고 쓴다.
17
18
== 기타 ==
19
[[일본인]]들이 번역을 똑바로 안해서 superset에 딱 맞아 떨어지는 번역어를 찾기가 힘들다.