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