[‚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.