Source: wikibot/sperner-property-of-a-partially-ordered-set

= Sperner property of a partially ordered set
{wiki=Sperner_property_of_a_partially_ordered_set}

The Sperner property in the context of partially ordered sets (posets) is related to the idea of antichains. An antichain is a subset of a poset such that no two elements in the antichain are comparable. A poset is said to satisfy the Sperner property if its largest antichain has the maximum possible size that is related to its structure, which can be quantified using concepts like levels or layers in the poset.