Assertion: real number's bound | /r/HasProperty | a + n dx
Facets:
Source sentences:
text: One way of defining a definite integral in the hyperreal system is as the standard part of an infinite sum on a hyperfinite lattice defined as a, a + dx, a + 2dx, ... a + ndx, where dx is infinitesimal, n is an infinite hypernatural, and the lower and upper bounds of integration are a and b = a + n dx.