Gitt et språk så er -termer definert induktivt som: Alle variabler er -termer. Alle konstantsymboler er -termer. Hvis er et funksjonssymbol med aritet , og til er -termer, så er er -term.