In analysis and geometry, any closed subset of is the zero set of a smooth function defined on all of . This extends to any smooth manifold as a corollary of paracompactness.

In differential geometry, zero sets are frequently used to define manifolds.