homomorphic mapping; homomorphism; operation preserving function