Изолированная точка множества
Изоли́рованная то́чка мно́жества в топологическом пространстве , точка , обладающая окрестностью , пересечение которой с множеством состоит из единственной точки (т. е. такой, что ). Любая точка множества топологического пространства является либо его предельной точкой, либо изолированной. Например, точка является единственной предельной точкой подмножества вещественной прямой; все остальные его точки, т. е. точки вида , являются изолированными.
Изолированность точки подмножества эквивалентна тому, что одноточечное множество открыто в как подпространстве пространства . В частности, изолированными точками всего пространства являются в точности те точки , для которых одноточечное множество открыто в . Все точки подмножества изолированы в том и только в том случае, если пространство (как подпространство пространства ) дискретно.
Понятие предельной и изолированной точек было введено Г. Кантором.