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.
New to topics? Read the docs here!