定義
A を可換環とする。
E を A 上の線型環（過去スレpart1の97）とする。
α ∈ E とする。
モニック（過去スレpart1の115）な多項式 f(X) ∈ A[X] があり、
f(α) = 0 となるとき、α を A 上整(integral)であるという。
E のすべての元が A 上整のとき、E を A 上整であるという。