定義
A を整域とする。A のその商体における整閉包が A と一致するとき、
A を整閉整域という。