semiring of sets

semiring of sets

[‚sem·ē′riŋ əv ′setz]
(mathematics)
A collection S of sets that includes the empty set and the intersection of any two of its members, and is such that if A and B are members of S and A is a subset of B, then B-A is the union of a finite number of disjoint members of S.