Partitioning triples and partially ordered sets

We prove that if  is a partial order and , then

(a)

, and

(b)

for each .

Together these results represent the best progress known to us on the following question of P. Erdos and others. If , then does for each and each ?