In topology, the exterior of a subset of a topological space is the union of all open sets of which are disjoint from It is itself an open set and is disjoint from The exterior of in is often denoted by or, if is clear from context, then possibly also by or