R (all real numbers) (assuming a function from reals to reals)

{y element R : 1<=y<=3}