for M being PseudoMetricSpace
for x, y being Element of M st x in y -neighbour holds
y in x -neighbour