or σ-algebra, n. (Measure theory) a collection of subsets of a set that contains the set itself, the empty set, the complements in the set of all members of the collection, and all countable unions of members.