Published online by Cambridge University Press: 20 November 2018
Let P be a partially ordered set. For an element x ∊ P, a subset C of P is called a cutset for x in P if every element of C is noncomparable to x and every maximal chain in P meets {x} ∪ C. The following result is established: if every element of P has a cutset having n or fewer elements, then P has at most 2n maximal elements. It follows that, if some element of P covers k elements of P then there is an element x ∊ P such that every cutset for x in P has at least log2k elements.