所谓数域 上由变量 到变量 线性替换是指形如

的一组表达式, 其中所有的 都在 内.