for S being non empty non void ManySortedSign
for o being OperSymbol of S
for r being SortSymbol of S
for T being MSAlgebra over S st o is_of_type {} ,r holds
{} in Args (o,T)