theorem Th4: :: MSUALG_1:4

for A being Universal_Algebra holds not signature A is empty