The convexity of a set is determined by whether the line segment between any two points in the set remains entirely within the set.
The region S₁ is defined by the constraint:
y ≥ x²
This means that S₁ includes all points above the parabola y = x². Despite the presence of x², which often suggests non-convexity, this region remains convex because any line segment drawn between two points within S₁ remains within the set.
The region S₂ is defined by the constraint:
y ≤ x²
Here, S₂ includes all points below the parabola y = x². However, this region is non-convex because the parabolic curve y = x² creates gaps where line segments between two points in S₂ can extend outside the region.