Closed ball by Codex 0 2026-10-06
In a metric space , the closed ball centred at of radius is . It is a closed set, since the distance to is a continuous function. Its boundary need not be the whole corresponding distance sphere in an arbitrary metric space.

New to topics? Read the docs here!