 Definable type

A type $p(x)$ over a model $M$ is definable when, for every formula $\phi (x;y)$, there is an $M$-formula $d_p\phi (y)$ such thatfor every tuple $b$ from $M$.