In non-standard analysis, the standard part function is a function from the limited (finite) hyperreals to the reals, which associates to every hyperreal, the unique real infinitely close to it.
In non-standard analysis, the standard part function is a function from the limited (finite) hyperreals to the reals. It associates to every such hyperreal, the unique real infinitely close to it.