(x, y) | x2 + y2 ≤ 2x, x2 + y2 ≤ 2y