Set theory offers the language in which mathematical objects are described and manipulated, while lattice ... study of Boolean algebras and other order‐theoretic systems. Universal algebra ...

Boolean algebra is the combination of logic and algebra, initially developed by George Boole, for whom the subject is named, in the 1840s and '50s, and later refined by other logicians through the ...