Talk:Metric space

I think that this page and "metric" should be merged, since neither really makes sense without the other and neither has very much content as of now. How do I do this? --MarkGall 19:42, 13 June 2009 (EDT)