Homomorphism is a transformation of one set into another that preserves in the second set the relations between elements of the first.