Definition:Saturated (Model Theory)