for PM being MetrStruct
for x being Element of PM
for r being Real st PM is triangle holds
Ball (x,r) in Family_open_set PM