Theorem 14.1. $S_n^M(A)$ is a totally disconnected compact Hausdorff space.