Vocabulary
math.intervals

Inputs
i1an interval
i2an interval


Outputs
i3an interval or f


Word description
Outputs the set-theoretic intersection of i1 and i2. If i1 and i2 do not intersect, outputs f.

Definition