x^2+y^2-2x<=0 and y <= x and y >= - x