bounded lattices