Bounded Lattice

A Lattice $L$ is bounded if there exists elements $0,1:L$ such that 0 is a Bottom Element and 1 is a Top Element.

Algebraic presentation

• $x\lor 0=x$
• $x\land 0=0$
• $x\lor 1=1$
• $x\land 1=x$
• $x\leq y:=x\land y=y$