Intervals

Constructor of all kind of intervals: $(a, b), [a, b), (a, b], [a, b]$ .

Syntax

interval_open_open(Real, Real)

interval_open_close(Real, Real)

interval_close_open(Real, Real)

interval_close_close(Real, Real)

Given two reals $a$ and $b$ , constructs the interval $(a, b)$ .

Given two reals $a$ and $b$ , constructs the interval $(a, b]$ .

Given two reals $a$ and $b$ , constructs the interval $[a, b)$ .

Given two reals $a$ and $b$ , constructs the interval $[a, b]$ .