Bounded Lattice Expansions

The notion of a canonical extension of a lattice with additional operations is introduced. Both a concrete description and an abstract characterization of this extension are given. It is shown that this extension is functorial when applied to lattices whose additional operations are either order preserving or reversing, in each coordinate, and various results involving the preservation of identities under canonical extensions are established.