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