number. This means: Every finite power set has the Sperner property See also Graded (mathematics) Prewellordering – a prewellordering with a norm is analogous to a graded poset, replacing a map to the integers with a map to the ordinals Star product, a method for combining two graded posets Notes References Algebraic combinatorics Order theory