Homomorphism A mapping f : A → BA and B be two algebraic structuresA homomorphism of A into B: Preserves the operations of A If ◦ is an operation of A and * an operation of B: f (x ◦ y) = f (x) * f (y) must hold for all x, y ∈ A