Para cualquier número infinitesimal formula_9 defínase el número hiperreal no limitado formula_10, y una "copia trasladada" de formula_11: