for V being RealUnitarySpace
for v being VECTOR of V
for r being Real st r = 0 holds
Ball (v,r) is empty