定义（积分元）:
令 R {\displaystyle R} 为一个环，并令 S / R {\displaystyle S/R} 为一个环扩张。一个元素 s ∈ S {\displaystyle s\in S} 称为在 R {\displaystyle R} 上的**积分元**，如果存在元素 a 0 , a 1 , … , a n − 1 ∈ R {\displaystyle a_{0},a_{1},\ldots ,a_{n-1}\in R} 使得
