整閉整域
整域 A について次は同値:
A は整閉
任意の素イデアルによる局所化は整閉
任意の極大イデアルによる局所化は整閉