Complement operation

Description:

• s
  • sad

Set complements

• The set of elements not in $S$. We must have an implicit universe, $\mathcal{U}$ of objects
• $\overline{S}=\{x|x\in U,x\notin S\}=U-S$