Tiene el mismo cardinal, sea "a" = |"A"|, independientemente del "k"-elemento subconjunto "I" de {1, ..., "n"}, entonces