An introduction to metric spaces. (2020)