A lattice is said to be atomistic if every element is the lub of some set of atoms.
A poset is graded when it can be given a rank function r(x) mapping its elements to integers, such that r(x)>r(y) whenever x>y, and in particular r(x)=r(y)+1 whenever x :> y.