## 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)

Previous slide | Next slide | Back to first slide | View graphic version |