Eine völlig zufriedenstellende Definition findet sich z.B. in Benson Mates: Elementare
Logik. Prädikatenlogik der ersten Stufe, Göttingen: Vandenhoeck & Ruprecht 21978
(=Moderne Mathematik in elementarer Darstellung 9), Seite 85, Punkte 8 und 9.