A nonempty collection of subsets of a fixed universe closed under complements and finite unions, hence also finite intersections. It generates a sigma-algebra by allowing countable set operations. A countable generating algebra provides one simultaneous family of test indicators for measure-theoretic arguments.
New to topics? Read the docs here!