2. Retícilos:
Un retículo es una terna (L, , ) donde L ≠ es un conjunto y , son dos ∨ ∧ ∅ ∨ ∧
operaciones internas en L verificando las propiedades:
Asociativas, a, b, c L ∀ ∈
(a b) c = a (b c) y (a b) c = a (b c) ∨ ∨ ∨ ∨ ∧ ∧ ∧ ∧
Conmutativas, a, b L ∀ ∈
a b = b a y a b = b a ∨ ∨ ∧ ∧
Idempotencia, a L ∀ ∈
a a = a y a a = a ∨ ∧
Absorción, a, b L ∀ ∈
a (a b) = a y a (a b) =a∨ ∧ ∧ ∨