Introduction to metric spaces. - Pitts C G C (1972)