for S being non empty non void ManySortedSign
for s being SortSymbol of S
for A being non-empty disjoint_valued MSAlgebra over S
for a being b₂ -sort Element of A holds the_sort_of a = s