여집합(비교)

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