집합 (Set)

한 줄 정의: 집합은 "어떤 것이 속하는지 아닌지"가 명확하게 구분되는 대상들의 모임이며, 그 안에 속한 낱개의 대상을 원소라고 합니다.

쉽게 풀면

학급 안에서 "안경을 쓴 학생들"을 모아보면, 누가 여기 속하고 누가 속하지 않는지 딱 잘라 말할 수 있습니다. 이렇게 기준이 분명한 모임이 바로 집합이고, 그 안에 들어가는 학생 한 명 한 명이 원소입니다. 만약 "안경 쓴 학생" 중에서 "여학생"만 다시 뽑으면 그것은 원래 집합의 부분집합이 됩니다. 두 집합 A(안경 쓴 학생)와 B(왼손잡이 학생)가 있을 때, 둘 중 하나라도 속하는 학생을 모두 모으면 합집합, 둘 다에 동시에 속하는 학생만 모으면 교집합, 그리고 A에 속하지 않는 나머지 전체 학생들을 모으면 여집합이라고 부릅니다.

왜 중요한가

집합은 수학뿐 아니라 논리학, 확률론, 컴퓨터과학의 데이터 구조와 알고리즘까지 이어지는 가장 기초적인 언어입니다. 어떤 대상들의 모임을 명확한 기준으로 정의하고 그 관계(포함, 교차, 배제)를 다루는 사고방식이 여러 분야의 이론적 토대가 되기 때문에, 수학교육 연구뿐 아니라 형식논리·자료구조를 다루는 논문에서도 기본 개념으로 자주 언급됩니다.

핵심 정리

집합은 어떤 대상이 속하는지 아닌지가 분명한 모임이고, 속한 대상이 원소입니다. “a는 A의 원소”는 a ∈ A로 씁니다.
A의 모든 원소가 B에도 속하면 A는 B의 부분집합(A ⊆ B)입니다.
합집합 A ∪ B, 교집합 A ∩ B, 여집합(전체집합 U 안에서 A에 속하지 않는 원소의 모임)이 기본 연산입니다.
유한집합에서 |A ∪ B| = |A| + |B| − |A ∩ B|가 성립합니다. 원소가 n개인 집합의 부분집합은 모두 2ⁿ개입니다.

예시로 보기

A = {1, 2, 3, 4}, B = {3, 4, 5}라 하면 A ∪ B = {1, 2, 3, 4, 5}, A ∩ B = {3, 4}입니다. 확인하면 |A ∪ B| = 5 = 4 + 3 − 2입니다. 또 {1, 2, 3}의 부분집합은 2³ = 8개(공집합 포함)이고, 1은 원소, {1}은 부분집합입니다.

자주 하는 오해

오해	바로잡기
원소와 부분집합은 같은 것이다.	1 ∈ {1, 2}와 {1} ⊆ {1, 2}는 서로 다른 관계입니다.
공집합은 부분집합이 아니다.	공집합은 모든 집합의 부분집합입니다.
집합에서는 순서와 중복이 중요하다.	{1, 2}와 {2, 1, 1}은 같은 집합입니다. 순서와 중복을 구분하려면 순서쌍이나 다중집합을 씁니다.

논문에서는 이렇게 쓰입니다

실제 논문에서

이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.

예시 문장

아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.

"초등학교 5학년 수학 교과서에서 집합, 원소, 부분집합 개념이 도입되는 순서와 학생들의 오개념 발생 빈도를 분석하였다."

이 문장은 집합이라는 기초 수학 개념이 교육과정에서 어떻게 다뤄지고, 학생들이 어떤 지점에서 헷갈려하는지를 연구한 교육학 논문의 배경 설명 예시입니다.

"응답 후보군을 유한집합으로 정의하고, 각 원소에 대해 조건을 만족하는지를 판별하는 알고리즘을 설계하였다."

컴퓨터과학 논문에서 처리 대상 데이터를 집합으로 형식화하고, 그 원소들을 하나씩 검사하는 절차를 설계했다는 서술이다.

"두 명제 집합 사이의 포함 관계를 이용해 논증의 타당성을 형식적으로 증명하였다."

논리학·철학 논문에서 명제들을 집합으로 취급하고, 집합 간 포함 관계를 근거로 논증의 형식적 타당성을 보였다는 뜻이다.

조금 더 깊게 보면

집합을 더 엄밀하게 다루려면 "원소의 개수가 몇 개인가"를 나타내는 집합의 크기(농도, cardinality) 개념이 필요하며, 유한집합과 무한집합을 구분하는 것도 이와 관련됩니다. 또한 집합을 정의하는 방법으로는 원소를 나열하는 원소나열법과, 조건을 제시하는 조건제시법이 있는데, 논문에서 수식으로 집합을 정의할 때는 대개 조건제시법(예: {x | x는 특정 조건을 만족})을 사용합니다. 컴퓨터과학에서는 이런 집합 개념이 자료구조로 구현될 때 정렬 여부나 중복 허용 여부에 따라 배열, 해시셋 등 다양한 형태로 나타납니다.

주의할 점

"부분집합"과 "원소"를 혼동하기 쉽습니다. 원소는 집합 "안에 들어있는 개별 대상"이고, 부분집합은 그 집합에서 뽑아낸 "또 다른 작은 집합"입니다. 예를 들어 {1,2,3}에서 1은 원소이지만 {1}은 부분집합입니다. 이런 논리적 포함 관계를 명확히 다루는 것은 명제와 논리를 이해하는 데도 도움이 됩니다.

헷갈리기 쉬운 용어

집합 관련 기본 용어입니다.

용어	기호	뜻
원소	a ∈ A	a가 A에 속함
부분집합	A ⊆ B	A의 모든 원소가 B에 속함
기수	\|A\|	원소의 개수(크기)
집합의 연산	∪, ∩	합집합·교집합 등

참고 문헌

Halmos, P. R. (1960). Naive Set Theory. Van Nostrand.
Enderton, H. B. (1977). Elements of Set Theory. Academic Press.
Jech, T. J. (2003). Set Theory (3rd millennium ed., rev. and expanded). Springer.

표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.

개념 계통

하위 개념

분야 전체 개념 지도 보기 →