https://9dok.net/document/zgwj09p8-give-the-definition-of-metrizable-t-v-s.html