In set theory, given a set , a -algebra is a family of subsets of with these properties:
- The full set is included: .
- For all subsets , if , then its complement too.
- If two events , then their union too.
This forms a Boolean algebra: property (1) represents TRUE, (2) is NOT, and (3) is AND, and that is all we need to define all logic. For example, FALSE and OR follow from the above points:
- The empty set is included: .
- If two events , then their intersection too.
For a given , there are typically multiple valid , in which case you need to specify your choice. Usually this would be the smallest (i.e. smallest family of subsets) that contains all subsets of special interest for the topic at hand. Likewise, a sub--algebra is a sub-family of a certain , which is a valid -algebra in its own right.
A notable -algebra is the Borel algebra , which is defined when is a metric space, such as the real numbers . Using that as an example, the Borel algebra is defined as the family of all open intervals of the real line, and all the subsets of obtained by countable sequences of unions and intersections of those intervals. The elements of are Borel sets.
- U.H. Thygesen, Lecture notes on diffusions and stochastic differential equations, 2021, Polyteknisk Kompendie.