Sperner property

Sperner property --- свойство Шпернера.

A poset [math]\displaystyle{ P }[/math] is said to have the Sperner property if the maximum size of an antichain in [math]\displaystyle{ P }[/math] equals the size of the largest rank of [math]\displaystyle{ P }[/math].