エタール射
可換環論における平坦性の概念は前提とする。上記の記号を流用し
F を O Y {\displaystyle O_{Y}} 加群層とする。F が Y 上平坦とは、任意のxに対し F y {\displaystyle F_{y}} が平坦 O Y , y {\displaystyle O_{Y,y}} 加群になることをいう。F として O X {\displaystyle O_{X}} をとって X の Y 上の平坦性が定義される。