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