A model for a first-order language L is, from an extensional point of view, a structure M = < U, I >where U is a non-empty set, called the domain (or universe) of M and I is an interpretation function that assigns appropriate items constructed from U to the nonlogical terminology of the language L.