函数域上的离散赋值