[Python-Dev] Re: PEP 285: Adding a bool type

[David Eppstein]

In article <Iwor8.8425$q63.5655 at atlpnn01.usenetserver.com>,
 "Steve Holden" <sholden at holdenweb.com> wrote:

> > BTW, many people mistake boolean algebra with two-element boolean algebra,
> > which is only its most trivial example.  The set operations (union, joint,
> > complement) on all subsets of a given set is a more generic example of
> > boolean algebra.
> >
> Don't I remember from my degree studies that a Boolean algebra can be
> defined on any lattice?

Lattices have union and intersection but not necessarily complement.

-- 
David Eppstein       UC Irvine Dept. of Information & Computer Science
eppstein at ics.uci.edu http://www.ics.uci.edu/~eppstein/