x ∈ IR^2 是什么意思?