Замыкание множества

Пусть задано метрическое пространство $(X,\varphi )$

Замыканием множества $M\subseteq X$ называется множество $\overline{M}=M\cup M^{\prime }$

где $M^{\prime }$ - множество предельных точек множества

Дополняем $M$ до замкнутого множества