Zbiór doskonały

Pochodna zbioru – dla danego zbioru w przestrzeni topologicznej zbiór wszystkich jego punktów skupienia. Pochodną zbioru oznacza się niekiedy także W przestrzeni T1 pochodna ma następujące własności: 1. * 2. * – pochodna jest zbiorem domkniętym 3. * 4. * 5. * – dla dowolnej rodziny zbiorów przestrzeni . Elementy to punkty izolowane zbioru Punkt wtedy i tylko wtedy, gdy istnieje otoczenie otwarte punktu takie, że