Category:Definitions/Bounded Lattices