Boundary of a set (source code)

= Boundary of a set
{title2=$\partial A=\overline A\setminus A^\circ$}

= Boundary
{synonym}

The <boundary> of a subset $A$ of a <topological space> consists of the points whose every <neighborhood> meets both $A$ and its complement. Equivalently, $\partial A=\overline A\setminus A^\circ$, where the bar denotes <closure> and the circle denotes <interior>.