On Dilworth's decomposition theorem

Abstract

For every countable po set P without infinite chains there exists a partition (C_j: jϵI) of P into pairwise disjoint chains and an antichain A such that C_j∩A≠Ø for every iϵI.