\begin{definition}[Definition:Set Intersection/Class]
Let $A$ be a class.
The '''intersection of $A$''' is:
:$\ds \bigcap A := \set {x: \forall y \in A: x \in y}$
That is, the class of all elements which belong to all the elements of $A$.
\end{definition}