Let be a subset of a Topological space . We define as the closure of . Lemma where is the set of Accumulation points. Thus is closed.