Производное множество

Производное множество, совокупность всех предельных точек данного множества. П. м. получается вычитанием из замыкания данного множества всех изолированных точек данного множества. П. м. всегда замкнуто. См. Множеств теория.