Vocabulary
math.intervals

Inputs
i1an interval with integer end-points


Outputs
i2a closed interval with integer end-points


Word description
Outputs a closed interval which is equal as a set to i1, when i1 is viewed as an interval over in integers (that is, a discrete set).

Definition