Please contact the maintainers of the page from which you came, https://paultaylor.eu/asdreals.html, and ask them to correct this link.
You may perhaps find what you require at
The real line as a space in ASD
or my home page.
Alternatively, you can search this site using Google: