theorem :: FOMODEL1:8

for x being set
for S being Language st x in AllTermsOf S holds
x is string of S ;