Bounded lattice