生成理想所得到的结果），我们就称formula_9是局部有限表示的。一个形式平展且局部有限表示的态射被称为一个平展态射（Étale morphism）。一个等效的定义是：一个平坦（flat）且非分歧（unramified）的态射是一个平展态射（参见：概形论术语）。对于任何一个概形formula_10，令formula_21表示其全部平展态射组成的范畴。注意到它与概形的关系类似于开子集范畴与拓扑空间的关系，而该范畴的对象则可以被非正式地看成是X的“平展开子集”。拓扑空间中两个开集的交集则可以看成两个平展态