The condition \displaystyle 0\leq \mathop{\rm Im} z \leq 3 means that all points with imaginary part between 0 and 3 lie in the set.
