Vanishing set
1. Definition
Let \(A\) be a commutative ring and \(T \subseteq A\), then the vanishing set is defined as
\begin{align*} V(T) \coloneqq \{\mathfrak{p} \in \mathrm{Spec}(A) \vert T \subseteq \mathfrak{p}\} \subseteq \mathrm{Spec}(A) \end{align*}