:: deftheorem defines open_dist_Segment METRIC_1:def 23 :
for M being non empty MetrStruct
for p, r being Element of M holds open_dist_Segment (p,r) = { q where q is Element of M : q is_between p,r } ;