부분집합

저자가 채택한 기호 표기 관례에 따라 다릅니다. 엄격한 관례에서 A ⊂ B는 진부분집합을 의미하여, A의 원소가 모두 B에 속하되 B에 A에 없는 원소가 최소 하나 존재해야 합니다. 포괄적 관례에서는 두 집합이 같아도 성립합니다. 혼선을 피하는 명확한 대안으로 일치를 허용할 때는 ⊆, 배제할 때는 ⊊를 명시적으로 구분해 씁니다.

독일의 수학자 에른스트 슈뢰더가 1890년 한 개념이나 집합이 다른 것에 완전히 포함되는 논리적 «종속» 관계를 나타내기 위해 ⊂를 도입했습니다. 오늘날에도 교재에 따라 A ⊂ A처럼 등호를 허용하며 ⊂를 일반적 포함 관계로 쓰는 경우와, 진부분집합 전용으로 제한하는 경우가 갈립니다.