Omitted type
= Omitted type
A type $p(x_1,\ldots,x_n)$ is omitted in a structure $M$ when no tuple from $M^n$ realizes every formula in $p$.
= Omitted type
A type $p(x_1,\ldots,x_n)$ is omitted in a structure $M$ when no tuple from $M^n$ realizes every formula in $p$.