theorem Th14: :: NAGATA_1:14

for r being Real
for PM being non empty MetrSpace
for x being Element of PM holds ([#] PM) \ (cl_Ball (x,r)) in Family_open_set PM