:: deftheorem Def8 defines MSSign MSUALG_1:def 8 :
for A being Universal_Algebra
for b₂ being trivial non void strict segmental ManySortedSign holds
( b₂ = MSSign A iff ( the carrier of b₂ = {0} & the carrier' of b₂ = dom (signature A) & the Arity of b₂ = (*--> 0) * (signature A) & the ResultSort of b₂ = (dom (signature A)) --> 0 ) );