theorem Th4: :: METRIC_2:4

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