Prove that a set is closed if and only if it contains all of its limit points.
Suppose that is closed, and is a limit point of . Then is open so that there is an such that which is a contradiction.
If contains all its limit points, then there exists an such that . So is open is closed.
Is this correct?