Let be a topological space, let , and let . The point is said to be an isolated point of if there exists an open set such that .
The set is isolated or discrete if every point in is an isolated point.