Theorem
Ifis a nowhere dense subset of a topological space
and
is the complement of
then
is dense in
Proof
Suppose on the contrary thatis not dense in
Then
exists and an open set
such that
Hence
Hence
This is a contradiction becauseis nowhere dense in
so
and
is dense in