n. 1. a distributive lattice with a zero and a unity in which every member has a complement that is itself a member. 2. the algebra of classes devised by George Boole, in which the operations of complementation, union, and intersection are defined. It is isomorphic with the sentential calculus, and the term is thus sometimes applied to the internal logic of a digital computer. See also set theory.