•Background: two alternative definitions
•
•Definition
1. A boolean algebra is A = (A, µ) s.t.:
• µ is a partial order
• 8 x, y 2 A 9 inf(x,y); will
denote it x Å y
• 8 x,y 2 A 9 sup(x,y); will
denote it x [ y
•There are minimal,
maximal elements: ?, > 2 A
• 8 x, there exists x 2 A s.t. x Å x = ?, x [ x = >.