ranked poset

A poset $P$ is ranked if there exists a rank function $ρ : P \to Z$ such that for all $a ⋖ b$ , $ρ (b) = ρ (a) + 1$ .

If possible, we'll normalize the minimum rank to be 0.