Theorem 8.6

Theorem 8.6 (Finite discrete inverse-limit existence). Let every $X_n$ be a nonempty finite discrete space, with arbitrary bonding maps $\rho_{n+1,n}:X_{n+1}\to X_n$. Then $\varprojlim_n X_n$ is nonempty.