The easy way to do this is to work with the basic definition of boundary point.

The statement that is aof means that if is an open interval in and then containsboundary pointa point ofand a point not in.

Lets use to be boundary of .

We show that is open.

Suppose that . Then by negating the definition we get, there is a open set such that and . So

How does that prove that is closed?