https://ocw.mit.edu/courses/18-s190-introduction-to-metric-spaces-january-iap-2023/resources/mit18_s190iap23_lec4t/
mit18_s190iap23_lec4T.tex | Introduction to Metric Spaces | Mathematics | MIT OpenCourseWare
MIT OpenCourseWare is a web based publication of virtually all MIT course content. OCW is open and available to the world and is a permanent MIT activity
introduction totex