property for homomorphism