Def/Metric space 1