Adherent point 2026-10-06
An adherent point of is a point whose every neighbourhood meets . The set of adherent points is the closure of . This includes all points of , even isolated ones; a limit point in the accumulation-point convention instead requires each neighbourhood to meet .
Closed set Created 2026-09-24 Updated 2026-10-06
A closed set contains all its limit points; equivalently, its complement is open.
The convention in this question counts a point whenever every open neighbourhood meets , without excluding the point itself. These are adherent points, whose set is the closure ; they differ from limit points under the convention that requires a different point of in each neighbourhood.
If is a closed set and , the open set is a neighbourhood of disjoint from . Thus every adherent point lies in . Conversely, if every adherent point lies in , each has an open neighbourhood disjoint from . Their union is , which is open. Hence is closed exactly when it contains all the points specified in the question.
The interior of a set and closure are
The neighbourhood description of the closure follows because failure to be adherent is equivalent to lying in an open set disjoint from .
For closure of a connected set, suppose were a separation into two nonempty relatively open sets. Their intersections with the connected subset would separate unless one intersection were empty. Say . Choose and an open set with and . Since , the set meets , contradicting . Thus the closure of a connected set is connected. The empty-set case holds directly.