Interior

Let be a subset of a Topological space . We define

to be the interior of .

Lemma

and is open.