Hey Keith,

Actually, you seem to be assuming a *complete* lattice.

Can you see how what the adjunctions are in an ordinary lattice?