Introduction to metric spaces - C.G.C. Pitts