El teorema de Dilworth establece que la no existencia de una anticadena de tamaño "n+1" en "S" es una condición necesaria y suficiente para que "S" sea la unión de "n" órdenes totales o cadenas.