[Logic.]a deductive logical system, usually applied to classes, in which, under the operations of intersection and symmetric difference, classes are treated as algebraic quantities.
Mathematicsa ring with a multiplicative identity in which every element is an idempotent.