Borel algebra

The Borel algebra on a topological space T is the smallest σ-algebra on T which contains all the open sets. The elements of the Borel algebra are called Borel sets.

The Borel algebra may alternatively and equivalently defined as the smallest σ-algebra which contains all the closed subsets of T. A subset of T is a Borel set if and only if it can be gotten from open sets by using a countable series of the set operations union, intersection and complement.

A particularly important example is the Borel algebra on the set of real numbers. It underlies the Borel measure and also every probability distribution. The Borel algebra on the reals is the smallest sigma algebra on R which contains all the intervals.