Anticadena

En matemáticas, una anticadena en un conjunto parcialmente ordenado A es un subconjunto S de A tal que cada par de miembros de S es incomparable, es decir, para cualquier x, y en S, ni x ≤ y ni y ≤ x.

El número de anticadenas no vacías definidas sobre un conjunto A dado se conoce como número de Dedekind.

Esto motiva preguntas sobre el tamaño de la anticadena máxima.

En la figura dado el conjunto A formado por los elementos: en el que se ha definido una relación binaria

dado el subconjunto G de A: Se puede ver que G es una anticadena dado que sus elemento son no comparables.