Definition:Integral Multiple of Ring Element