 Omitted type

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