Formal universal

In generative grammar, the term formal universal has been used for a restriction on the abstract form and general organization of grammatical rules. Formal universal is often contrasted with substantive universal.

Examples
Examples would be the division of rules into base rules and transformational rules, or the division of the grammar into surface structure and deep structure, or restrictions of transformations to move alpha or to merge.

Other languages
German formales Universale