Let $T = (X, \mathcal{T})$ be a D1106: Topological space.
A D11: Set $N \subseteq X$ is a neighbourhood of $E \subseteq X$ in $T$ if and only if \begin{equation} \exists \, U \in \mathcal{T} : E \subseteq U \subseteq N \end{equation}