theorem Th13: :: MSUHOM_1:13

for U1 being Universal_Algebra
for o being OperSymbol of (MSSign U1) holds Den (o,(MSAlg U1)) is operation of U1