theorem Th11: :: LANG1:11
for a being set holds Lang (EmptyGrammar a) = {{}}