集合不等于空集,解方程