theorem Th5: :: ALG_1:5

for U1 being Universal_Algebra holds id the carrier of U1 is_homomorphism