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