Definition:Boundary (Topology)/Definition 2

Definition
Let $T = \struct {S, \tau}$ be a topological space.

Let $H \subseteq S$.

$x \in S$ is a boundary point of $H$ if every neighborhood $N$ of $x$ satisfies:
 * $H \cap N \ne \O$

and
 * $\overline H \cap N \ne \O$

where $\overline H$ is the complement of $H$ in $S$.

The boundary of $H$ consists of all the boundary points of $H$.

Also known as
The boundary of a subset $H$ is also seen referred to as the frontier of $H$.

Also see

 * Equivalence of Definitions of Boundary


 * Boundary is Intersection of Closure with Closure of Complement