Definition:Invertible Ring Element