Definition:Type Space (Model Theory)