Let and .
The point is called accumulation point if
for any Neighbourhood of
we have .
The derived set is the set of accumulation points of .

Lemma

is closed
if and only if
.