不等式的解集是怎样定义的?要标准的