#sperner_property_of_a_partially_ordered_set
Sperner property of a partially ordered set
In order-theoretic mathematics, a graded partially ordered set is said to have the Sperner property, if no antichain within it is larger than the largest rank level in the poset. Since every rank level is itself an antichain, the Sperner property is equivalently the property that some rank level is a maximum antichain. The Sperner property and Sperner posets are named after Emanuel Sperner, who proved Sperner's theorem stating that the family of all subsets of a finite set has this property. The lattice of partitions of a finite set typically lacks the Sperner property.
Fri 17th
Provided by Wikipedia
This keyword could refer to multiple things. Here are some suggestions: