定義
B/A を可換環の拡大とする。
B は A 上の線型環（過去スレpart1の97）と見なされる。
このとき B が A 上整（過去スレpart4の576）のとき、
B は A 上整である、または B/A は整であるという。