Moving引理是代数几何中关于除子的一个基本引理。它本质上是反映非常丰富除子的特性。

Moving 引理：

设 X 是射影代数簇， D是X上的除子 ， 则存在两个非常丰富除子H1和H2， 使得D=H1-H2.

这个引理也可以改述为：

设 X, D 同上，H是一个非常丰富除子， 那么必存在一个充分大的正整数n, 使得对任何大于n的正整数m, 除子D+mH 都是非常丰富除子。

寻找这样的n是一个很困难的问题， 人们叫做“有效性问题”。它和黎曼洛赫定理、消失定理（也称消灭定理，淹没定理）、秩2向量丛、Bogomolov不等式、希尔伯特 不变量理论、典范环、极小模型等等有着千丝万缕的关系。

在X是代数曲线的时候， 有效性问题可以用黎曼洛赫定理推知。

X是代数曲面的时候， 谈胜利利用秩2 向量丛的理论， 成功解决了曲面除子的有效性问题。

对高维的代数簇， 这还是个尚未解决的问题。