al'gebra of sets'
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. Cf. Boolean ring.
Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.