
theorem Th11:
  for M being Reflexive discerning non empty MetrStruct, x,y
  being Element of M holds x tolerates y iff x = y
by METRIC_1:2;
