Category:Set Boundaries

From ProofWiki
Jump to navigation Jump to search

This category contains results about Set Boundaries in the context of Topology.
Definitions specific to this category can be found in Definitions/Set Boundaries.


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

Let $H \subseteq S$.


Definition from Closure and Interior

The boundary of $H$ consists of all the points in the closure of $H$ which are not in the interior of $H$.

Thus, the boundary of $H$ is defined as:

$\partial H := H^- \setminus H^\circ$

where $H^-$ denotes the closure and $H^\circ$ the interior of $H$.