Any expression f(t1,...,tn) of n arguments (where each argument ti is a term and f is a function symbol of valence n) is a term.
Jakýkoli výraz f(t1,...,tn) s n argumenty (kde každý argument ti je term a f je funkční symbol arity n) je term.