i = isSperner P
The ranked poset $P$ is Sperner if the maximum size of a set of elements with the same rank is the dilworthNumber of $P$. That is, $P$ is Sperner if the maximum size of a set of elements with the same rank is the maximum size of an antichain.
The $n$ chain and the $n$ booleanLattice are Sperner.
|
|
|
However, the following poset is non-Sperner as it has an antichain of size $4$ but the set of elements of rank $0$ and the set of elements of rank $1$ are both of size $3$.
|
|
|
|
The object isSperner is a method function.