Para un conjunto de $S\subset \mathbb{N}$, que
$$a(S)=\lim_{n\rightarrow\infty}\frac{#{s\in S>|>s\le n}}{n}$$
ser la limitación de densidad asintótica de la $S$ en los números naturales si el límite existe y $a(S)=0$ si no es así.
Ahora toma $0
$$A_\alpha = {S\subset \mathbb{N}>|>a(S)=\alpha}$$
ser el conjunto de todos los subconjuntos de $\mathbb{N}$ $\alpha$ de la densidad asintótica.
¿Es $A_\alpha$ contable?