for M being non empty MetrStruct
for x being Element of M holds x -neighbour in M -neighbour ;