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