homomorphic image of a Σ-structure is a Σ-structureLet Σ be a fixed signature, and 𝔄 and 𝔅 two structures for Σ. If f:𝔄→𝔅 is a homomorphism, then im(f) is a structure for Σ.