rank numbers

Tags: #definition

rank numbers

For a finite poset P and a rank function ρ on it, its rank numbers are given by

rk=#{aPρ(a)=k}