> No. Just try your example with other=Interval(0, oo) and base_set=Interval(-oo, 0). If you keep only f_inv(x) = sqrt(x) - the result is empty (or zero? anyway, you get the idea).

Thanks, got it.