Talk:Open Ball is Open Set/Metric Space

The reason why I didn't do this is because the proof for pseudometric spaces is character-for-character identical. is not used. Caliburn (talk) 22:21, 30 July 2023 (UTC)
 * I think you can use the above argument as a proof for the pseudometric version, though the other direction is more obvious. --Usagiop (talk) 22:52, 30 July 2023 (UTC)
 * Same with Pseudometric Space is First-Countable. I thought it would be a better solution to switch the results over to pseudometric and redirect. Caliburn (talk) 22:28, 30 July 2023 (UTC)