theorem :: METRIC_2:18

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