Теорема Дилворта

Теорема Дилворта (R.P.Dilvorth, 1950) — Для любого частично упорядоченного множества

[math]\displaystyle{ P = (S, \leq) }[/math]

минимальное число цепей, покрывающих все точки [math]\displaystyle{ \,S }[/math], равно мощности наибольшей антицепи, т.е. мощности множества несравнимых точек в [math]\displaystyle{ \,P }[/math].