触集合, adherenceともいう

M^i\cup M^fのこと

M^iは開核、M^fは境界

\overline{M}またはM^aと表記

M^\circ\subset M\subset \overline{M}の関係になる

それぞれ一致することもあるが、一般には等しくない

Mを含む最小の閉集合

「閉」の「包」や！

\overline{M}の点のことを触点と言う

つまり触点はMの内点または境界点