Lattice Constructions
Product
L = L1 ? ... ? Ln
Li = ? Ui, ?i, ?i, ?i?
U =U1 ? ... ? Un ,
? a1, ... , an ? > ? ? b1, ... , bn ? iff ai ? i bi for each i.
Coalesced Product
L = L1 ? ... ? Ln
U= {?} ? U1 –{?1 } ? ... ? Un- {?n }
Stacks
Stack(L, s), size(s), sɬ
s? t iff size(s)=size(t) & top(s)? top(t) and, pop(s) ? pop(t)
top(empty)= ?, pop(empty)= ?, and push(x, t)= ?, if size(t)=s
push, pop, and top are distributive