Definition:Metric Subspace