Definition:Integral Dependence


 * Definition:Integral Element of Ring Extension
 * Definition:Integral Element of Algebra