given a subset S of a topological space X, the biggest set of points in S not part of the boundary of S