Anticadea

Na Teoría da orde das matemáticas, unha anticadea é un conxunto parcialmente ordenado. S é un subconxunto A de S tal que cada par de membros de A é incomparable, isto é, para calquera x, y en A, nin x ≤ y nin y ≤ x.
O teorema de Dilworth establece que a non existencia dunha anticadea de tamaño n+1 en S é unha condición necesaria e suficiente para que S sexa a unión de n ordes totais ou cadeas. Isto motiva preguntas sobre o tamaño da anticadea máxima.