# homomorphic image of a $\Sigma$-structure is a $\Sigma$-structure

Let $\Sigma$ be a fixed signature, and $\mathfrak{A}$ and $\mathfrak{B}$ two structures for $\Sigma$. If $f:\mathfrak{A}\to\mathfrak{B}$ is a homomorphism, then $\operatorname{im}(f)$ is a structure for $\Sigma$.

Title homomorphic image of a $\Sigma$-structure is a $\Sigma$-structure HomomorphicImageOfASigmastructureIsASigmastructure 2013-03-22 13:46:44 2013-03-22 13:46:44 almann (2526) almann (2526) 6 almann (2526) Theorem msc 03C05 msc 03C07