theorem Th12: :: MSUHOM_1:12

for U1 being Universal_Algebra
for o being OperSymbol of (MSSign U1) holds Den (o,(MSAlg U1)) = the charact of U1 . o