解集能不能写成区间