Assertion: real number's value | /r/HasProperty | defined
Facets:
value: well
type: DEGREE
Source sentences:
text: For x infinitesimal, the value of the formal power series ∑ n ≥0 x n / n ! is well defined and coincides with the inductive definition When x is given in Conway normal form, the set of exponents in the result is well-ordered and the coefficients are finite sums, directly giving the normal form of the result (which has a leading 1)
text: Also that value of f(x) is well-defined or we'd be able to put two sequences together and contradict the property we're assuming of f.
text: infinitesimal, the value of the formal power series is well defined and coincides with the inductive definition For positive infinite x , exp x is infinite as well
text: Complex numbers are distinguished from real numbers by the presence of the value i, which is defined as .
text: For any real number x, the absolute value or modulus of x is denoted by |x| (a vertical bar on each side of the quantity) and is defined as
text: where x and y are real numbers, the absolute value or modulus of z is denoted |z| and is defined by
text: The absolute value is defined and continuous everywhere, and is differentiable everywhere, except for zero.