定義
A, B を環で、A ⊂ B とする。
B の元で A 上整なもの全体は B の部分環となる(>>510)。
これを A の B における整閉包という。