for M being non empty Reflexive MetrStruct
for u being Point of M
for r being Real st r > 0 holds
u in Ball (u,r)