エタール射
f : X → Y {\displaystyle f:X\rightarrow Y} を体 k 上の有限型スキーム間の射とする。X の任意の点 x と Y の点 y=f(x) にたいして、
m y . O X , x = m x {\displaystyle m_{y}.O_{X,x}=m_{x}}
k(x) が k(y) の分離代数拡大。
が成り立つこと。ただし、 O X , x {\displaystyle O_{X,x}} は x での局所環、 m x {\displaystyle m_{x}} および k(x) はその極大イデアルおよび剰余体である。