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