Пусть Е - данное множество, обозначим E' множество его предельных точек, обозначим через [E] замыкание множества Е.
Тогда
![$\left[ E \right] = E \cup E'$ $\left[ E \right] = E \cup E'$](https://dxdy.ru/math/b39d855d283fdf65fa9b454ca49a5f7b82.png)
Теперь применяем свойства замыкания:
![\left( E \cup E' \right) ' = E' \cup \left( E' \right) ' = E' \cup E' = E' \subseteq \left( E \cup E' \right) =\left[ E \right] \left( E \cup E' \right) ' = E' \cup \left( E' \right) ' = E' \cup E' = E' \subseteq \left( E \cup E' \right) =\left[ E \right]](https://dxdy.ru/math/8b296f17c1a6db47e1c1e81184c7685982.png)
Значит, замыкание множества Е содержит все свои предельные точки, т.е. замкнуто.
А так правильно