theorem Th11: :: LANG1:11

for a being set holds Lang (EmptyGrammar a) = {{}}