Sperner poset

Let $P$ be a poset and $ρ$ a rank function on it with $l = max (ρ (P))$ (if it exists). $P$ is Sperner if the maximum size of an antichain is exactly $max (r_{0}, r_{1}, \dots, r_{l})$ (these are the rank numbers)