Definition

Consider a subspace topology of a Topological Space , and a point . is an isolated point if the singleton set is open in the Subspace Topology ().

Or, equivalently, is an isolated point if where is the Neighborhood of .

Facts

Consider a nonempty Compact Hausdorff Space . If has no isolated point, then is uncountable.