This result characterizes closed sets in a [metric subspace](/page/Metric%20Subspace) as intersections of the subspace with closed sets from the ambient [metric space](/page/Metric%20Space). It is the closed-set counterpart to the relative openness characterization.