 Herbrand structure

In first-order logic, a Herbrand structure "S" is a structure over a vocabulary σ that is defined solely by the syntactical properties of σ.The idea is to take the symbols of terms as their values, e.g.