Definition:Homomorphic Image