여집합

A의 여집합:

$A^c~~~=~~~\emptyset^c \setminus A$

전체집합 U가 정의되어 있을 때, 전체집합 U에 속하면서 A에는 속하지 않는 원소의 집합을 A의 여집합(餘集合, complementary set)이라 정의하고 A^C 처럼 적는다. 보집합(補集合)이라고 부르기도 한다. (A U B)^C=A ^C n B^C

차집합은 여집합의 일반화된 정의로 볼 수 있다.