数学函数中非空集合什么意思