User talk:Lord Farin/Backup/Boolean Algebra is Huntington Algebra

I'm not sure there is a "proper way" to denote a balg. You either list every single operation and element and make something unwieldy, or (like a group) you just specify the main bits of it (the set and the operations) and accept that the rest of it is implicit by the fact that you specify what sort of structure it is when you introduce it. IMO you take the specification for an algebraic structure $(S, \vee, \wedge)$ and if you like (I don't think I would), add the ordering $(S, \vee, \wedge, \preceq)$ but specifying the identities and the complementation? Too much. --prime mover (talk) 17:22, 24 August 2012 (UTC)