$\Sigma \simeq \mathrm{bool}$ the initial $\sigma$-frame, and the $\sigma$-topological space being countably compact: every countable open cover has a finite subcover? [[!redirects Sandbox > history]]