for U1 being Universal_Algebra holds id the carrier of U1 is_homomorphism