:: deftheorem defines Den MSUALG_1:def 6 :
for S being non empty non void ManySortedSign
for o being OperSymbol of S
for A being MSAlgebra over S holds Den (o,A) = the Charact of A . o;