The subset of elements [see page 35, shared] by all the input sets:
\begin{align*} A \cap B &= \{ x : x \in A \land x \in B \} \x \in (A \cap B) &\iff (x \in A) \land (x \in B) \end{align*}