n. the function applicable only to finite non-standard reals, returning the unique `nearest' standard real number. As every finite non- standard real number is a standard real number plus an infinitesimal, this function is readily defined. A standard infinitesimal is one of the lowest possible order. See also hyper-real numbers.