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

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