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.