Dilworth's theorem
Satz von Dilworth
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
mathematischer Satz