for G being non empty DTConstrStr holds (Terminals G) \/ (NonTerminals G) = the carrier of G