The subset of elements in \( A \) that're [see page 36, not] in \( B \):
\begin{align*} A \setminus B &= \{ x : x \in A \cap x \not \epsilon B \} \x \in (A \setminus B) &\iff (x \in A) \land (x \not \in B) \end{align*}