Leyendo un poco en la red, encontré esta idea de definición:
** Sea la función $f: \mathbb{N} \rightarrow \mathbb{N}$
$f(x) = \begin{cases} x/2 & \text{, si } x \ es \ par \\ 3x+1 & \text{, si } x \ es \ impar \end{cases} \\$
Un número natural $x$ es $maravilloso$, si al aplicarle un número (finito) de veces la función $f$, se obtiene como resultado la unidad (el valor $1$).