判断空集合