Closedness
= Closedness
The property of being a <closed subset> in a specified ambient <topological space>. In a <metric space>, a subset has this property exactly when it contains the limits of all its convergent sequences whose limits lie in the ambient space.