What is language of a model?
Language of a model is the collection of formulae that use only the relational symbols the model assign and that use every relation symbol with the correct arity. If is a sentence in a language of a model , is either true or false in that model.