Soit l'ordre défini sur les fonctions de R+ -> R par : f<=g si et seulement si il existe K tel que f(x)<=g(x) pour x>K.

Alors l'ensemble des fonctions R+ -> R construites avec 1, x, +, * et ^ est homéomorphe à l'ordinal epsilon_0 = w^w^w^w^w^w^w^....