Dilworth's theorem

theorem that the maximum size of an antichain in a finite partial order equals the minimum number of chains into which it can be partitioned