:: deftheorem Def1 defines feasible MSUALG_6:def 1 :
for S being non empty non void ManySortedSign
for A being MSAlgebra over S holds
( A is feasible iff for o being OperSymbol of S st Args (o,A) <> {} holds
Result (o,A) <> {} );