Definition:Integral Extension