El número de familias de Sperner en un conjunto de "n" elementos es contado por los números de Dedekind, de los cuales los primeros son los siguientes: