집합의 연산 (Set Operations)

수학
한 줄 정의: 두 개 이상의 집합을 합치거나(합집합), 겹치는 부분만 뽑거나(교집합), 빼는(차집합·여집합) 방식으로 새로운 집합을 만드는 계산입니다.

쉽게 풀면

친구 A는 축구와 야구를 좋아하고, 친구 B는 야구와 농구를 좋아한다고 해봅시다. "두 사람이 좋아하는 종목을 전부 모으면?"이라고 물으면 축구, 야구, 농구 세 가지가 나오는데 이것이 합집합(∪)입니다. "두 사람이 공통으로 좋아하는 종목은?"이라고 물으면 야구만 나오는데 이것이 교집합(∩)입니다. "A만 좋아하고 B는 안 좋아하는 종목은?"을 구하면 축구만 남는데 이것이 차집합(A−B)입니다. 그리고 전체 종목 목록(전체집합) 중에서 A가 좋아하지 않는 것들만 모으면 여집합(Aᶜ)이 됩니다. 이렇게 집합끼리 더하고 빼고 겹치는 부분을 찾는 규칙 전체를 집합의 연산이라고 부릅니다. 특히 "(A∪B)의 여집합은 A의 여집합과 B의 여집합의 교집합과 같다"는 규칙은 드모르간의 법칙이라고 하며, 논리식이나 확률 계산을 단순화할 때 자주 쓰입니다.

왜 중요한가

집합의 연산은 확률론, 통계학, 논리학, 데이터베이스, 컴퓨터과학 등 여러 분야의 기초 언어로 쓰입니다. 표본공간에서 사건들의 관계를 다루는 확률 계산, 여러 조건을 동시에 만족하는 데이터를 추출하는 분석 절차, 논리 회로나 프로그램 조건문 설계 등 폭넓은 상황에서 합집합·교집합·차집합 개념이 그대로 활용되기 때문에 논문의 방법론 설명에서 흔히 등장합니다.

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

"두 데이터셋의 교집합에 해당하는 표본만을 분석 대상으로 선정하였다."

이 문장은 "두 자료(예: 설문 응답자 명단과 검사 완료자 명단)에 모두 포함된 대상만 골라 분석했다"는 뜻으로, 조건을 동시에 만족하는 대상을 추출할 때 집합 연산의 개념(교집합)을 그대로 응용한 표현입니다.

"실험군과 대조군의 합집합을 전체 분석 대상으로 정의하고, 두 군의 여집합에 해당하는 결측 데이터는 제외하였다."

두 그룹을 합쳐 전체 분석 대상을 정의하고, 그 안에 포함되지 않는 데이터는 분석에서 제외했다는, 임상·사회과학 연구에서의 표본 정의 방식이다.

"질의 결과의 정확도는 정답 집합과 검색 결과 집합의 교집합 크기를 기준으로 정밀도와 재현율을 계산하였다."

정보검색·자연어처리 분야에서 실제 정답과 시스템이 찾아낸 결과의 겹치는 부분(교집합)을 이용해 성능 지표를 계산했다는 서술이다.

조금 더 깊게 보면

집합 연산은 벤 다이어그램으로 시각화하면 이해하기 쉽지만, 실제 논문에서는 이를 정밀도(precision)·재현율(recall)·자카드 유사도(Jaccard similarity) 같은 정량 지표로 바꾸어 쓰는 경우가 많습니다. 예를 들어 두 집합의 교집합 크기를 합집합 크기로 나눈 값이 자카드 유사도이며, 두 집합이 얼마나 겹치는지를 하나의 수치로 요약할 때 자주 활용됩니다. 또한 확률론에서는 사건들의 집합 연산 결과에 확률을 부여해 덧셈정리, 조건부확률 등을 유도하는 기초로 쓰입니다.

주의할 점

차집합(A−B)은 교집합과 다릅니다. 차집합은 "A에는 있지만 B에는 없는 것"만 남기는 연산이라 방향에 따라 결과가 달라지며(A−B ≠ B−A), 여집합은 반드시 "전체집합"이 정해져 있어야 정의할 수 있는 개념이라는 점도 헷갈리기 쉽습니다.

관련 용어