In some contexts, Borel sets are defined to be generated by the compact sets of the topological space, rather than the open sets. The two definitions are equivalent for many well-behaved spaces, including all Hausdorff ?-compact spaces, but can be different in more pathological spaces.

Generating the Borel algebra