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

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

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

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