Definition:Integral Dependence