Stav dette: Lattices Theory and Boolean Algebra