nLab vanishing ideal

Idea

Let $X$ be some kind of space with $\mathcal{O}(X)$ some kind of ring of functions on $X$. Then for $S \subset X$ a subspace, of kind, its vanishing ideal is the ideal $I(S) \subset \mathcal{O}(X)$ of all those functions that vanish when restricted to $S$.

Related concepts

• Zariski topology