
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
Given a set $M$ consisting of points, let property $P$ be "For any $(x, y) \in M$, and $k \in (0, 1)$, it always holds that $(kx, ky) \in M$." Consider the following sets:  
① $\{(x, y) | x^2 \geq y\}$,  
② $\{(x, y) | 2x^2 + y^2 < 1\}$,  
③ $\{(x, y) | x^2 + y^2 + 2x + 2y = 0\}$,  
④ $\{(x, y) | x^3 + y^3 - x^2y = 0\}$,  
Among these, the sets that possess property $P$ are \_\_\_\_\_\_. (Please list all applicable options)

Present the answer in LaTex format: \boxed{Your answer}
user