Lattice Theory
A meet semi-lattice is an algebraic structure <C, ?, ?, ? >
- C is a carrier set
- ?, is a partial order on C
- ? : C, C ??C. a?b is the greatest lower bound of a and b. c ? a, c? b and for all d s.t. d?a, d?b, d? c.
- ? : minimum element, used to denote an inconsistency
Descending chain condition (dcc)
- all sequences c1 ? c2 ??c3 , ... are finite
Distributive function
- f: L1 ??L2
- f(a? b) = f(a)?f(b)