{y > x, y > -x}