Standard part function: Difference between revisions

Content deleted Content added
References: specialise category
Line 8:
:<math>\,\mathrm{st}(x)=x_0</math>.
 
The existence of the standard part function is a consequence of the [[completeness of the reals]] or the fact that [[finite]] [[closed interval]]s of the reals are [[compact space|compact]].
 
The standard part function "st" is not an [[internal set|internal object]].