Maximum antichains: a sufficient condition
Michael J. Klass · Proceedings of the American Mathematical Society · 1974
Given the finite partially ordered set ( Q , ≤ ) (Q, \leq ) , one might wish to know whether a maximal (nonextendible) antichain is a maximum antichain. Our result generalizes a theorem of Baker, which in turn constitutes a generalization of Sperner’s lemma.