An interval from lower bound _a_ to upper bound _b_ is a possibly-infinite, possibly-empty set of numeric values of the same numeric type. A numeric value _x_ is included in the interval if it satisfies the criteria _a_ < _x_ and _x_ < _b_. If the lower bound is described as inclusive, _a_ ≤ _x_ is used instead of _a_ < _x_. If the upper bound is described as inclusive, _x_ ≤ _b_ is used instead of _x_ < _b_. An inclusive interval is an interval where both bounds are inclusive. For the purpose of defining intervals, *-0*𝔽 < *+0*𝔽. *NaN* is never included in an interval.
+An interval from lower bound _a_ to upper bound _b_ is a possibly-infinite, possibly-empty set of numeric values of the same numeric type. A numeric value _x_ is included in the interval if it satisfies both its lower bound criteria and its upper bound criteria. If an interval's lower bound is described as inclusive, its lower bound criteria is _a_ ≤ _x_; otherwise it is _a_ < _x_. If an interval's upper bound is described as inclusive, its upper bound criteria is _x_ ≤ _b_; otherwise it is _x_ < _b_. An inclusive interval is an interval where both bounds are inclusive. It is an editorial error if a lower bound or upper bound is not described as either inclusive or exclusive. For the purpose of defining intervals, *-0*𝔽 < *+0*𝔽. *NaN* is never included in an interval.