Por ejemplo un número ilimitado "r" satisface que "para cualquier número "e" del conjunto y cualquier número natural estándar resulta que "ne" < "r"", formalmente: