Definition. Let be a topological space and let be a subset of . The derived set of is the set of all limit points of in [1].