An isolated point outside cannot belong to its closure. Thus the only possible extra closure point is . The balls at meet exactly when arbitrarily small original-metric balls at do so. Consequently
In the first case is already included. In the second case a ball smaller than the positive distance separates it from ; in the last case every ball meets . If is empty its closure is empty, with distance convention .

Articles by others on the same topic (0)

There are currently no matching articles.