The statement that is a boundary point of means that if is an open interval in and then contains a point of and 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?