#normal group

A lattice can also be defined as an algebraic structure, with the binary operations ∧ and ∨ and the constants ⊤ and ⊥.

Here are the axioms for these operations:

∧ and ∨ are each idempotent, commutative, and associative;

the absorption laws: a∨(a∧b)=a, and a∧(a∨b)=a ;

⊤ and ⊥ are the respective identities of ∧ and ∨.

(taken from nlab)

this presentation reminds me of the group axioms :D

they kinda obscure the mental image of what's going on though hmm