reserve V for set;

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