여집합
From Wikipedia, the free encyclopedia
집합론에서, 집합 A의 여집합(餘集合, 또는 보집합(補集合), complement set) AC는, 전체집합 U의 원소 중 A의 원소가 아닌 것들의 집합이다. 집합 B에 대한 A의 차집합(差集合, relative complement, set difference) B ∖ A는, B의 원소 중 A의 원소가 아닌 것들의 집합이다.
여집합은 차집합의 특수한 예이다. 반대로 말해, 차집합은 여집합을 일반화한 개념이다.
전체집합 U가 정의되었을 때, 그의 부분집합 집합 A의 여집합은 AC, A', A, ∁UA, ∁A, 또는 U ∖ A로 표기되며, 다음과 같은 집합이다.
다른 말로,
- 임의의 x ∈ U에 대해, x ∈ AC일 필요충분조건은 x ∉ A.