
\sigma = \{ (x, y) \in \mathbb{R}^2 : x^2+y^2 \leq 1, x^2 + y^2 \geq 2x, y \geq 0 \}
