위키득계정 ↗
과학

여집합

여집합과학
영문명
Complement
표기 예
Aᶜ 또는 U ∖ A
필요 조건
전체집합 U의 지정
기본 관계
A와 여집합의 교집합은 공집합
여집합은 정해진 전체집합 안에서 어떤 집합에 속하지 않는 원소들의 집합이다. 전체집합을 U, 그 부분집합을 A라고 하면 A의 여집합은 U ∖ A다. 무엇을 전체 범위로 삼는지에 따라 결과가 달라진다.

전체 범위를 먼저 정하기

A={1, 3}이라고만 하면 여집합을 하나로 정할 수 없다. U={1, 2, 3, 4}이면 여집합은 {2, 4}지만 U={1, 2, 3, 4, 5}이면 {2, 4, 5}다. 어떤 원소가 빠졌는지 말하려면 어떤 범위에서 찾는지 먼저 알아야 한다.

원래 집합과의 관계

같은 전체집합을 기준으로 A와 A의 여집합은 겹치지 않는다. 두 집합을 합치면 전체집합 U가 된다. 여집합의 여집합을 다시 구하면 A로 돌아오는데, 이때도 전체집합을 중간에 바꾸지 않아야 한다.

조건을 부정하기

전체집합 안에서 A에 속한다는 조건의 부정은 A에 속하지 않는다는 조건이다. 이 조건을 만족하는 원소들이 여집합을 이룬다. 특정 항목에 해당하지 않는다는 말이 전체집합 밖의 모든 대상까지 포함한다는 뜻은 아니다.

여러 조건의 여집합

A와 B 중 어느 쪽에도 속하지 않는 원소는 두 여집합에 모두 속한다. 따라서 합집합의 여집합은 각 여집합의 교집합과 같다. 반대로 교집합의 여집합은 각 여집합의 합집합이다. 이 드모르간 법칙은 복합 조건을 부정할 때 유용하다.

관련 문서

집합 / 차집합 / 공집합 / 합집합 / 교집합