for V being RealUnitarySpace
for v being Point of V
for r, p being Real st r <= p holds
Ball (v,r) c= Ball (v,p)