Description: A ball around a point is a neighborhood of the point. (Contributed by NM, 8-Nov-2007) (Revised by Mario Carneiro, 24-Aug-2015)