方程 x+1-x-2≤0 x是属于空集吗