\begin{cases}
a_X(0) = \min X \\
a_X(n+1) = \min (X \setminus \{a_X(0),\ldots,a_X(n)\}
\end{cases}