En este ejemplo, $\mathbb{N} = \{1,2,\ldots\}$
El ejemplo más fácil de lo que podía pensar:
Tome este conjunto:$$\left\{\frac{1}{n} +j: 1\le j \le k, j\in \mathbb{N}, n\in \mathbb{N} \right\}$$
Definir $a_{(j,n)} = \frac{1}{n} + j$.
Dar el set $\textbf{K} \times \mathbb{N} = \{1,2,3,4,5,\ldots k\}\times \mathbb{N}$ el fin de: $<$ donde $(a,b) < (c,d)$ fib $b<d \text{ or } b=d \text{ and } a<c$. Este órdenes de $\textbf{K}\times \mathbb{N}$ tipo $\mathbb{N}$, de modo que podemos definir una función de $f:\mathbb{N}\to \textbf{K} \times \mathbb{N}$
$$
f(0) = {\min\left(\textbf{K} \times \mathbb{N} , <\right)}\\
f(i+1) = \min\left(\textbf{K}\times \mathbb{N}\setminus f(i), <\right)
$$
Ahora establezca $a_i = a_{f(i)}$