A model for a Theory is an -Structure
in which every sentence in is Satisfied.