Stav dette: Lattices and Boolean Algebra: