On Dilworth's decomposition theorem

For every countable po set P without infinite chains there exists a partition (C"j: [email protected]) of P into pairwise disjoint chains and an antichain A such that C"[email protected]?A O for every [email protected]