A short proof of the existence of k-saturated partitions of partially ordered sets

Abstract The theorem of Greene and Kleitman concerning the existence of k -saturated partitions for any partially ordered set P is proved by applying Dilworth's theorem to the product partial order of P with a chain of length k .