定義（積分元）:
令 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} 使得
