In model theory , a type $\Gamma(x_1\cdots x_n)$ in the variables $x_1,\cdots,x_n$ is a maximal consistent set of formulas in those variables.