Пусть Е - данное множество, обозначим E' множество его предельных точек, обозначим через [E] замыкание множества Е.
Тогда
![$\left[ E \right] = E \cup E'$ $\left[ E \right] = E \cup E'$](https://dxdy-04.korotkov.co.uk/f/b/3/9/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-01.korotkov.co.uk/f/8/b/2/8b296f17c1a6db47e1c1e81184c7685982.png)
Значит, замыкание множества Е содержит все свои предельные точки, т.е. замкнуто.
А так правильно