Definition:Type (Model Theory)