# Algebra

Jump to navigation
Jump to search

Let be a nonempty set. An **algebra**^{[1]} is a nonempty collection of subsets of that is closed under finite unions and complements.

By DeMorgan's laws, an algebra is also closed under finite intersections and contains the empty set and .

## Examples of Algebras

Assume that is nonempty.

- Given a set , then and are algebras.
- Given a set , the collection of all finite and cofinite (having finite complement) subsets of is an algebra.
- A -algebra is a more restrictive type of algebra. To show an algebra is a -algebra, it suffices to show closure under countable disjoint unions, which is notably not guaranteed by the definition of an algebra.

## Non-examples

- Given a topological space , the topology is in general not an algebra, for the complement of an open set may fail to be open. For example, in with the standard topology, the open interval is open, but its complement is not.

## References

- ↑ Folland, Gerald B. (1999).
*Real Analysis: Modern Techniques and Their Applications*, John Wiley and Sons, ISBN 0471317160, Second edition.