Suppose that is the boundary of .
If is a limit point of and is and open set such that implies .
That means that because is a boundary point, must contain a point of and a point not in .
How does this prove that is a boundary point of ? How does that show that is closed?