Bounded lattice


bounded lattice is a lattice.