The set of all cluster or limit points of a set
is called the derived set of
and is labelled
More precisely, given a set
the cluster set can be defined as
for any neighbourhood
of![]()
Example: Consider the set
The only cluster point of
is
so the derived set of
is![]()
Example: If we have the indiscrete topology
on a set
For any element![]()
is the only open set containing
We have

Example: Suppose we have the discrete topology for which all subsets of
are open sets. For any element![]()
is the only open set containing
No element of the discrete set is a limit point since
is a neighberhood of
but contains no elements of
apart from
Hence![]()