:: deftheorem Def12 defines the_sort_of MSUALG_1:def 12 :
for MS being 1 -element ManySortedSign
for A being MSAlgebra over MS
for b₃ being set holds
( b₃ = the_sort_of A iff b₃ is Component of the Sorts of A );