bounded_lattice