Choose distinct ranks whose values are the largest, resolving any tie arbitrarily, and take the union of their full levels. Along a strict chain in a partially ordered set, cardinality strictly increases, so this set family is a k-Sperner family. Its weight is the sum of the selected rank weights because a full level of rank has members. Thus the bound in the weighted theorem for k-Sperner families is always attained:
Articles by others on the same topic
There are currently no matching articles.