The elements of the universe [see page 37, not] in the input set.
\begin{align*} \overline{A} &= \{ x : x \not\in A \} \x \in \overline{A} &\iff x \not\in A \end{align*}