sentences:  A theory is defined to be model complete if whenever "M" and "N" are models of the theory and "M" is a substructure of "N", then "M" is an elementary substructure of "N".A major part of modern set theory involves the study of different models of ZF and ZFC.It is crucial for the study of such models to know which properties of a set are absolute to different models.