 Isolated type

A complete type $p\in S_n(A)$ is isolated when some formula $\phi \in p$ belongs to no other complete type in $S_n(A)$. Equivalently, the basic open set determined by $\phi$ is the singleton $\{p\}$.