Let (X,d) be a metric space where every infinite subset has a limit point. The document proves that if every infinite subset of a metric space (X,d) has a limit point, then (X,d) is separable. It defines a metric space as a set where a distance (called a metric) is defined between elements of the set. Metric spaces generalize the familiar Euclidean metric of 3D space and induce topological properties like open and closed sets.