Hola.
Si te refieres a lo que pienso que te refieres vas bien.
Definida una biyección \( f:\mathbb{N^2}\rightarrow{\mathbb{N}} \) , los conjuntos de la forma \( A_k=\{f(k, n) :n\in{\mathbb{N}}\} \) donde \( k \) es un número natural, cumplen la condición del enunciado.
Saludos.