Похідна безліч, сукупність всіх граничних точок даної безлічі. П. м. виходить відніманням із замикання даної безлічі всіх ізольованих точок даної безлічі. П. м. завжди замкнуто. Див. Безлічі теорія .