nLab A pseudo metric space, i.e. a set with a metric where the distance between two distinct points can also be 0, need not be Haussdorf

This is not really the place to ask what seems to be a question. You could ask us on the n-forum or better on math.stackexchange for questions that are high level but not research questions.