NatPlus_Lattice is SubLattice of Nat_Lattice