![[../../00 Asset Bank/Pasted image 20250123172601.png|sepia]] The [[Set Complement|Complement]] is a Unary [[Operation]] of some [[Set]] $A$, denoted as $A'$, $\bar A$ or $A^\complement$, is defined as the [[Set]] of all elements in the [[Universal Set]], but not $A$. $\huge A^\complement = \set{ x \mid x \in U \wedge x \not\in A} $