:: deftheorem defines -multiCat FOMODEL1:def 26 :
for S being Language holds S -multiCat = (AllSymbolsOf S) -multiCat ;