Definition

Let be a metric on a set .

The (open) ball with centre and radius is .

A sequence in converges to if it eventually belongs to any ball ; such that .