theorem Th1: :: AUTALG_1:1

for UA being Universal_Algebra holds id the carrier of UA is_isomorphism