for x being set
for S being Language holds
( x is string of S iff x is non empty Element of (AllSymbolsOf S) * )