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 .