局部完全交(Local complete intersection)

设 $Y$ 是域 $k$ 上非奇异簇的闭子概形。我们称 $Y$ 是 $X$ 上的局部完全交，如果它对应的理想层 $\scrI_Y$ 在每一点 $P\in Y$ 上都局部的有 $r= \text{codim} (Y,X)$ 个元素生成。