Zeroset

Definition
A subset of a topological space is termed a zeroset if there is a continuous function from the topological space to the real numbers, such that the inverse image of zero under that continuous function is precisely that subset.

For a perfectly normal space, the zerosets are precisely the closed subsets.

Stronger properties

 * Connected component

Weaker properties

 * Closed subset