Definition:Radius of Closed Ball