수학사랑

진부분집합

두 집합 A, B에 대하여

A ⊂ B 이고 A ≠ B

이면, 집합 A는 집합 B의 진부분집합이다.

진부분집합은 proper subset을 번역한 것이며 한자로는 眞部分集合이라고 쓴다.

proper subset → 眞部分集合 → 진부분집합

proper에는 '진짜'라는 뜻이 있다. subset는 '부분집합'이다. sub에는 '아래(under)'라는 뜻이 있다.

어느 한 집합에 포함되는 집합을 그 집합의 '아래'에 있다고 보아 subset라고 한 것이다.

이것을 번역할 때, '어느 한 집합의 부분이 되는 집합'이라는 의미에서 '부분집합'이라고 한 것이다.

그런데 부분집합 중에는 자기 자신이 있다. 자기 자신을 부분집합으로 보는 것은 사실상 자연스럽지 않다.

그래서 자기 자신을 제외한 나머지 부분집합이 '진짜 부분집합'이라는 의미에서 proper subset이라고 하는 것이다.

proper subset을 번역할 때, '진짜'라는 뜻의 한자 '眞(진)'을 사용하여 '진부분집합'이라고 한 것이다.