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 non-logical terminology of the language L.