  Some best possible inequalities are established for k-partition-free families
(cf. Definition 1) and they are applied to prove a sharpening of a classical
result of Kleitman concerning families without k pairwise disjoint members.
