for r being Real
for M being triangle MetrStruct
for p being Point of M
for P being Subset of (TopSpaceMetr M) st P = Ball (p,r) holds
P is open by PCOMPS_1:29;