These are restricted, however, in that all terms that they form must be either first-order terms (which can be substituted for a first-order variable) or second-order terms (which can be substituted for a second-order variable of an appropriate sort).
Αυτά είναι περιορισμένα, όμως, όλοι οι όροι που σχηματίζονται πρέπει να είναι είτε πρώτης τάξεως όροι (το οποίο μπορεί να υποκατασταθεί για μιας πρώτης τάξεως μεταβλητή) είτε δεύτερης (το οποίο μπορεί να υποκατασταθεί με μια δεύτερης τάξης και κατάλληλου είδους μεταβλητή).