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.
Οποιαδήποτε έκφραση f(t1,...,tn) από n επιχειρήματα (όπου κάθε επιχείρημα ti είναι ένας όρος και f είναι ένα συναρτησιακό σύμβολο σθένους n) είναι ένας όρος.