for M being PseudoMetricSpace
for x being Element of M holds x in x -neighbour