Por ejemplo, en el conjunto de partes de un conjunto finito "X", ordenado por la inclusión, una anticadena máxima es descrita por el lema de Sperner, como los subconjuntos de tamaño 'mediano',|"X"|/2 en caso de que |"X"| sea par, y, o bien de (|"X"|+1)/2 o bien (|"X"|-1)/2 cuando |"X"| sea impar; la cardinalidad es el relevante coeficiente binomial.