Definition:Underlying Set of Metric Space