Das "=" ist eigentlich nicht Teil der reinen Prädikatenlogik, weil es keine (logischen) Formeln vergleicht, sondern Terme. In Termen können Zeichen v_i für Variablen, r_i für Relationen, f_i für Funktionen und c_i für Konstanten auftreten; man erhält so eine Prädikatenlogik über einem Alphabet {v_i, r_, f_i, c_i}. Oft lässt man "=" als Äquivalenzrelation zu, ohne sie als eines der r_i aufzuführen.