的直观理解如下：
定义.令formula_2为一个概形之间的态射，formula_3为一个Y-概形，J为一个Z上的幂零理想层（nilpotent sheaf of ideals），formula_4为formula_5所确定的闭浸入。若对于所有的Y-态射formula_6，都存在唯一的Y-态射formula_7使得formula_8，我们就称formula_9是形式平展的。若对于formula_10的每一点formula_11, 都有一个formula_11的邻域formula_1