Standard part function
Appearance
In non-standard analysis, the standard part function "st" associates to a finite hyperreal x, the standard real x0 infinitely close to it, so that we can write
- .
The standard part function "st" is not an internal object.