여집합

여집합(complement)은 집합의 개념 중 하나로, 기준이 되는 전체 집합에서 어떤 집합에 속하지 않는 원소들의 모임을 의미한다.

어떤 전체 집합 $U$가 주어졌을 때, 부분집합 $A$의 여집합이란 [math(U)에 속하면서 $A$에는 속하지 않는 모든 원소의 집합을 말한다.

(잉)여집합이라는 썰이 있다. 실제로 한자도 같다. 사실 존내 불쌍한 새기들이다.

표기가 너무 좆같다. 특히 $complement$랑 $^c$가 저자에 따라 지맘대로 쓰이는데, 일반적으로 'unary operation' 자체로써의 의미(negation과의 동형 사상을 위해)를 나타내기 쉬운 건 전자이고, '계산'으로써의 느낌이 더 와닿는 건 후자이기 때문에 후자로 배우다가 학부 이상으로 갈수록 전자의 표기가 쓰인다.

정의상 차집합이랑 비슷하게 볼 수 있기 때문에 $Usetminus A$나 $U - A$로 써도 된다. 그치만 이건 보통 relative complement라고 불리기 때문에 남용했다간 맞아죽는다.