Funktionssymbole sind Symbole für Funktionen. Funktionen sind mathematische Objekte, mit denen anhand von Eingabewerten Ausgabewerte berechnet werden können.
Relationssymbole sind Symbole für Relationen. Relationen sind mathematische Objekte, mit denen Elmente des Universums zueinander in Beziehung gesetzt werden können.
Beispiel 1. Ist f ein zweistelliges Funktionssymbol, dann wird f(x,y) bei Auswertung der Formel zu einem Element des Universums, nämlich zu dem, dass sich ergibt wenn die Interpretation fI des Funktionssysmbols f auf die Belegungen der Variablen x und y angewendet wird.
Beispiel 2. Ist R ein zweistelliges Relationsymbol, dann stellt R(x,y) die Aussage dar, dass x und y in einer gewissen Beziehung zueinander stehen. Bei Auswertung der Formel wird R(x,y) zu einem Wahrheitswert, nämlich zu dem, der sich ergibt, wenn geprüft wird, ob für die Interpretation RI des Relationsymbols R und die Belegungen xI und yI der Variablen x und y die Aussage (xI, yI) ∈ RI gilt.