Let be a subset of a Topological Space .
We define

to be the interior of .

Lemma

and is open.