Least Upper Bound Condition for a Subset of a Metric Space to be Closed

Theorem

Letbe a metric space. A subsetofis closed if and only if for any

wherewhere

Proof

Supposeis a closed set thenis open. Hence, for anya ballexists such that

Then

Suppose for any Let

Thenhenceis open andis closed.