Vocabulary
math.intervals

Inputs
i1an interval
i2an interval


Outputs
i3an interval or f


Word description
Outputs the interval consisting of points from i1 which are greater than all points in i2. If the resulting interval is empty, outputs f.

Definition