Definition 16.1. We say $p\in S_n^M(A)$ is isolated if it is an isolated point with respect to topology on $S_n^M(A)$ (i.e. $\{p\}$ is open).