for M being non empty MetrSpace
for x, y being Element of M holds
( y in x -neighbour iff y = x )