theorem Th2: :: ENDALG:2

for UA being Universal_Algebra holds id the carrier of UA in UAEnd UA