to

and belonging to the converse domain of

and such that the value of the function for any argument in the

-interval from

(inclusive) to