theorem Th13: :: METRIC_2:13

for M being non empty MetrSpace
for x being Element of M holds x -neighbour = {x}