여집합

집합 $A$를 전체집합 $U$의 부분집합이라고 할 때, $U$의 원소 중에서 $A$에 속하지 않는 원소로 이루어진 집합을 $U$에 대한 여집합이라 하며,기호로는 $A^C$와 같이 나타낸다. $A^C$를 조건제시법으로 나타내면 $A^C$= {$x|x\in U$ 그리고 $x\notin A$}이다.