The intersection of $\mathcal{U}$ is the set $\bigcap _{U\in \mathcal{U}}U$ defined by
\[ \bigcap _{U\in \mathcal{U}}U\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ x\in X\ \middle |\ \begin{aligned} & \text{for each $U\in \mathcal{U}$,}\\ & \text{we have $x\in U$}\end{aligned} \webright\} . \]
