for M being non empty MetrStruct
for a being Real holds dist_toler (M,a) = low_toler ( the distance of M,a)