Type space
= Type space
{title2=$S_n(A)$}
With its standard topology, this <type space> is a <Stone space>. The type space $S_n^M(A)$ is the set of complete $n$-types over a parameter set $A$ that are consistent with the complete theory of $M$ together with its diagram over $A$.