어느 집단에 속하는 항목 중에서 특정 조건을 만족하는 것으로 간주되는 것들의 집단. 두 집합 A와 B에 대해서 집합 A의 모든 원소가 집합 B의 원소일 때 ‘집합 A는 집합 B의 부분 집합’이라고 하며 A⊂B 또는 B⊂A로 표현한다.