La intersección está contenida en cada miembro, porque sus elementos pertenecen a todos. Puede ser vacía: para \(\{\{1\},\{2\}\}\) la intersección es \(\varnothing\).
La intersección de una familia no vacía \(\mathcal{F}\) de conjuntos es el conjunto \(\bigcap \mathcal{F}\) formado por los objetos que pertenecen a todos los miembros de la familia.
\[\bigcap \mathcal{F} = \{x \mid \forall A \in \mathcal{F},\ x \in A\}\]