Let (X,T) be a topological space, and let A⊆X. Write X∖S for the complement relative to X of a subset S⊆X, let intX and clX denote the interior and the closure in X, and let ∂X denote the boundary in X.
Then the following hold.
1. ∂XA=clX(A)∩clX(X∖A).
2. ∂XA is closed in (X,T).
3. ∂XA=∂X(X∖A).
4. The three sets intX(A), ∂XA and intX(X∖A) are pairwise disjoint, and their union is X.
5. The two sets intX(A) and ∂XA are disjoint, and their union is clX(A).