A subset of a given metric space where every point in the metric space is either in the set or is a limit point of the set.