:: deftheorem Def18 defines language AOFA_L00:def 20 :
for S being non empty PCLangSignature
for L being MSAlgebra over S holds
( L is language iff not the Sorts of L . the formula-sort of S is empty );