(a b)
{x: a<= x <=b}
(in-interval? x interval x-min x-max) (interval-intersect interval1 interval2 x-min-1 x-max-1 x-min-2 x-max-2)