Support of a sheaf section (source code)

= Support of a sheaf section
{title2=$\operatorname{Supp}s$}

The support of a sheaf section is the closed set
$$
\operatorname{Supp}s=\{x:s_x\ne0\}.
$$
Its complement is open because a zero <germ of a sheaf section> is represented by a section that vanishes on a neighbourhood.