# 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$.

Created on April 24, 2017 at 07:10:04. See the history of this page for a list of all contributions to it.