Content deleted Content added
re-writing lead hopefully to appease both sides. |
→Definition: forgot to italicize |
||
Line 6:
:<math>\,\mathrm{st}(x)=x_0</math>.
The standard part of any [[infinitesimal]] is 0. Thus if ''N'' is an infinite [[hypernatural]], then 1/''N'' is infinitesimal, and st(1/''N'')=0.
Some authors develop the theory of non-standard analysis using [[Internal Set Theory]]. In this setting the standard part function "st" is not defined by an [[internal set]] {{Citation needed|date=May 2011}}.
| |||