theorem Th25: :: UNIALG_2:25

for U0 being Universal_Algebra holds UniAlg_join U0 is associative