algebra of sets

noun

, Mathematics.

1. a nonempty collection of sets having the property that the union of two sets of the collection is a set of the collection and the complement of each set of the collection is a set in the collection.