Свойство Шпернера

Свойство Шпернера (Sperner property) - свойство конечного ранжируемого частично упорядоченного множества, состоящее в том, что мощность наибольшего независимого множества равна наибольшей мощности уровня [math]\displaystyle{ \max \{w_{i} \, | \, i \geq 0\} }[/math], где [math]\displaystyle{ w_{i} = |W_{i}| }[/math]и [math]\displaystyle{ W_{i} }[/math]--- все точки [math]\displaystyle{ x }[/math] ранга [math]\displaystyle{ r(x) = i }[/math].

Литература

[Welch]