theorem Th24: :: UNIALG_2:24

for U0 being Universal_Algebra holds UniAlg_join U0 is commutative