Moving引理是代數幾何中關於除子的一個基本引理。它本質上是反映非常豐富除子的特性。Moving 引理：設 X 是射影代數簇， D是X上的除子 ， 則存在兩個非常豐富除子H1和H2， 使得D=H1-H2。這個引理也可以改述為：設 X, D 同上，H是一個非常豐富除子， 那么必存在一個充分大的正整數n, 使得對任何大於n的正整數m, 除子D+mH 都是非常豐富除子。尋找這樣的n是一個很困難的問題， 人們叫做“有效性問題”。它和黎曼洛赫定理、消失定理（也稱消滅定理，淹沒定理）、秩2向量叢、Bogomolov不等式、希爾伯特不變數理論、典範環、極小模型等等有著千絲萬縷的關係。在X是代數曲線的時候， 有效性問題可以用黎曼洛赫定理推知。X是代數曲面的時候， 談勝利利用秩2 向量叢的理論， 成功解決了曲面除子的有效性問題。對高維的代數簇， 這還是個尚未解決的問題。
